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