IFIF TC2/WG 2.1 Working Conference on Generic Programming location:Dagstuhl, Germany date:11-12 July 2002
Generic Haskell exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining generic functions which are applicable to types of all kinds. Here we explore a number of simple but significant extensions to Hinze’s ideas which make generic programming both more expressive and easier to use. We illustrate our ideas with examples.