@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.