Type−indexed data types - Hinze, R; Jeuring, J; Löh, A (Universiteit Utrecht, 2002)