Control.Morphism.Meta.Gibbons