[CraneWorm]

For me, the elaborateness of the type system and it's checker REMOVE the overhead. YMMV, obviously.