indextype

Haskell Library of type functions for dealing with "indexed types", i.e tuples, functions.