DDF.Map

class Ord x

class Map r

lookup2

unionWith1

mapMap1

mapMap2

insert2

alter2

singleton2