Source code for monad concept made compilable (first draft).