Matching, and the original solution used Option and Either almost exclusively. Now that I'd like to add debug logging and maybe context in the future, I've introduced Effect, but that's becoming unwieldy when mixed with the more traditional ADTs.Effect over O and E for everything? I'm not sure where or how to delineate usage in general.effect so far after being a recent fp-ts user!