как All IsField? В принципе возможно, но нужна дефункциализация, нативных hof на уровне типов нет. Посмотрите например https://blog.poisson.chat/posts/2018-08-06-one-type-family.html, https://hackage.haskell.org/package/first-class-families
я на этом тайплевел рексхемы написал)
Обсуждают сегодня