Control.Functor.KanExtension

Right Kan Extensions

data Ran g h a

Left Kan Extensions

data Lan g h a