Off-topic, could can I define toString having this structure: <Name of the function> (versió <version number>): <Domain> -> <Range>, <code of the function> ? (For example, in https://gist.github.com/2394274 I want that Doblar displays as: Doblar (versió 1): int -> int, { return 2 * a; } Thanks a lot, Xan.