Require a bang pattern when unlifted types are where/let bound; #3182