Monoid

cats

monadErrorF

ErrorControl

monadG

ErrorControl