Straightforward validation monad. Convenient for validating web forms and APIs.
git clone https://git.iko.soy/typeable/validationt.git
There is no readme on dafd336. See the files.