discussed with wiz@.
packaged for wip by pho. This module defines a class for types with a default value. Instances are provided for '()', Set, Map, Int, Integer, Float, Double, Ratio, Maybe, '[]', '->' and IO.