@unpublished{HiHaJa12, title = "Functional Pearl: F for Functor", author = "Hinze, Ralf and Hackett, Jennifer and James, Daniel W. H.", year = "2012", month = "March", note = "Submitted to ICFP '12", url = "http://www.cs.ox.ac.uk/people/daniel.james/functor.html", }