convertType (HsForAllTy NOEXTP _ tvs ty) = do
#else
convertType (HsForAllTy NOEXTP tvs ty) = do
#endif
  explicitTVs <- convertLHsTyVarBndrs Coq.Implicit tvs
  tyBody      <- convertLType ty
  pure . maybe tyBody (Forall ?? tyBody) $ nonEmpty explicitTVs
convertType (HsForAllTy NOEXTP _ tvs ty) = do
#else
convertType (HsForAllTy NOEXTP tvs ty) = do
#endif
  explicitTVs <- convertLHsTyVarBndrs Coq.Implicit tvs
  tyBody      <- convertLType ty
  pure . maybe tyBody (Forall ?? tyBody) $ nonEmpty explicitTVs
convertType (HsForAllTy NOEXTP _ tvs ty) = do
#else
convertType (HsForAllTy NOEXTP tvs ty) = do
#endif
  explicitTVs <- convertLHsTyVarBndrs Coq.Implicit tvs
  tyBody      <- convertLType ty
  pure . maybe tyBody (Forall ?? tyBody) $ nonEmpty explicitTVs