module DDF.Bimap (module DDF.Bimap, module DDF.Prod, module DDF.Option) where import DDF.Map as Map import DDF.Prod import DDF.Option class Map.Map r => Bimap r where