Control.Monad.Hyper.Rep
data Hyper a b
ana
cata
cata'
push
unroll
roll
invoke
uninvoke
run
project
fold
build