Type−indexed Data Types - Hinze, R; Jeuring, J; Löh, A (Springer Berlin / Heidelberg, 2002)