Control.Monad.Skeleton

data MonadView t m x

hoistMV

iterMV

data Skeleton t a

bone

unbone

boned

hoistSkeleton