Test code 'Polymorphic Maybe monad with default value.'