Strictness annotations for function formals are now supported (BangPatterns).