DDF.Map

class Ord x

class Map r