- Handling stacked monads and the like e.g.
- Referentially transparent error handling
- Error accumulation/'parallel' validation
- Adding together
Option[T]s (a la http://stackoverflow.com/a/16319667, not sure how to word this well)
- More explicitly typesafe collections (e.g. non-empty, guarantee that list.head never throws, etc)
sample scala problems to cover in cats docs?