This should be a list of minor (mostly) backwards compatable changes to the standard libraries

• signatures of when and unless generalized
• move 'join' and 'ap' into the Monad class