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