Type−indexed Data Types - Hinze, R; Jeuring, J; Löh, A (Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02), 2002)