Seems very verbose but i can have all the stuff i want :
- overloading + late binding
- higher kinds
- functors (and notations)