Data.Functor.Context

data Ctxt a

toCtxt

mapCtxt

extractCtxt

addCtxt