Do you know what a type indexed coproduct is ? (TIC.hs from HList) What is the purpose of this module? Why the Proxy type has been introduced? Can you think of a short application? Marc