Hodgp is a project mainly written in Scala, it's free.

Exploring Higher Order Datatype Generic Programming in Scala