Principled Functional Programming in Scala - View it on GitHub