Data.Functor.Contravariant.Representable
type family Value f
class Valued f
class Coindexed f
class Representable f
contramapDefault
contramapWithValueDefault