never saw that kind of code before.. so you can define class functions on record types? very interesting
how does the "implicit" operator work?