Exploring Higher Order Datatype Generic Programming in Scala - View it on GitHub