A pedagogical repository, containing examples of types that are monads (i.e. have wrapping, transforming, flattening methods) and also types that aren't (at least, not in a natural or desirable way).