monads 2020-02-11

@cjsauer has joined the channel