[lucian1900]

It is indeed not bad on unix. The only major flaw left is the lack of higher-kinded types.