Constraint.Container.Homo

type family Homo a :: Constraint