On 2014-10-10 17:44, Sergei Meshveliani wrote: > And I wonder of whether all this is inventing a bicycle. > Can map⊆ be expressed in a simpler way? > What Standard library has for all this? See Data.List.Any.Membership.map-mono, which is restricted to propositional equality. -- /NAD