Control.Monad.Skeleton

data MonadView t m x

hoistMonadView

data Skeleton t a

bone

unbone

hoistSkeleton