I hear people saying this all the time. Why? For me they are similar to type-classes+records but without polymorphism. Care to elaborate?