Sequences, Type Inference, and Inheritance... I am slightly lost.

[xigoi]

I am of the opinion that a typs conversion is just a special kind of function, 
so there's no reason to write it differently. Is there really a difference 
between `food.Resource` and `"42".parseInt`? You might argue that the procedure 
does extra work, but so do some type conversions (such as `int` to `float`).