Propellor.EnsureProperty

ensureProperty

property'

data OuterMetaTypesWitness metatypes

type family Cannot_ensureProperty_WithInfo (l :: [a]) :: Bool