Hi, is there a connection between HList and Data Types a la Carte? Are both approaches pursuing the same goal? Or is it more like trying to compare apples and pears? Günther