A collection of well known Algebraic Datatypes for your utter enjoyment.
FPFunctionalMonadicMonadsfantasyApplicativeFunctor
https://crocks.dev