monads 2018-01-15

@guy has joined the channel