Perl is neat
ML type checking is neat
Any chance of combining them?
Not too likely
Perl barely has dynamic type checking
