convertType HsAppKindTy{} = convUnsupported "type level type application"
convertType HsAppKindTy{} = convUnsupported "type level type application"
convertType HsAppKindTy{} = convUnsupported "type level type application"