convertType (HsAppTy NOEXTP ty1 ty2) =
  App1 <$> convertLType ty1 <*> convertLType ty2
convertType (HsAppTy NOEXTP ty1 ty2) =
  App1 <$> convertLType ty1 <*> convertLType ty2
convertType (HsAppTy NOEXTP ty1 ty2) =
  App1 <$> convertLType ty1 <*> convertLType ty2