Data.Functor.Context

data Ctxt a

mapCtxt

extractCtxt