Typed Generic Traversals in S fl (2001)

by R Lammel