convertType (HsListTy NOEXTP ty) =
  App1 (Var "list") <$> convertLType ty
convertType (HsListTy NOEXTP ty) =
  App1 (Var "list") <$> convertLType ty
convertType (HsListTy NOEXTP ty) =
  App1 (Var "list") <$> convertLType ty