Typed representation upto NbE
refactor shuffle
A note about PHOAS not being a functor