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