I think the history of "generics" in Java is Pizza (http://pizzacompiler.sourceforge.net/) -> GJ (http://lamp.epfl.ch/pizza/gj/) -> Java I think that if you consider that history, and in particular the Pizza compiler, then the connection to FP becomes rather obvious. Cheers, Andres