Project demonstrating Typelevel Scala features - View it on GitHub