The court could sentence them to 'Borstal training', which meant that they were detained in a Borstal institution for an indeterminate period of between six months and two years.

WHY? WHY HIM? WHYYY? WHYYY? WHYYY? WHYYY?

I shouted, but he didn't take a blind bit of notice.

A further advantage of static type checking is of course computational efficiency, since run time checks are no longer necessary.