flattenTopLevelHsForAllTy :: HsType name -> HsType name
flattenTopLevelHsForAllTy (HsForAllTy exp extra tvs (L l []) ty)
  = snd $ mk_forall_ty [] l exp extra tvs ty
flattenTopLevelHsForAllTy :: HsType name -> HsType name
flattenTopLevelHsForAllTy (HsForAllTy exp extra tvs (L l []) ty)
  = snd $ mk_forall_ty [] l exp extra tvs ty
flattenTopLevelHsForAllTy (HsForAllTy exp extra tvs (L l []) ty)
  = snd $ mk_forall_ty [] l exp extra tvs ty