Partly serious, partly in jest: so type systems are no good?