monads 2017-05-17

@marc has joined the channel