Data.Rewriting.Context.Type

data Ctxt f v