implementation module monad /* Pieter Koopman, pieter@cs.ru.nl Advanced Programming, week 4 */