Relation.Subset

interface Subset 

into : Subset a b => a -> b