functors, applicatives and monads
Primary LanguageAgdaMIT LicenseMIT
The standard library seems a bit lacking, eh?