Reply to 1170650757969981440

@RiccardoOdone Once I've finished it with Sanctuary, I'll port it over to fp-ts.

But I wanted first to understand the FP aspect, before having to deal with type errors in addition.