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.
