"Kittens - datatype-generic functional programming with Scala" by Kailuo Wang