Control.Functor.KanExtension.Interpreter
type Interpreter y g h
type InterpreterT f g h
type Cointerpreter y g h
type CointerpreterT f g h