T16619.hs:2:13: warning: [-Wdeprecated-flags (in -Wdefault)]
    -Wmissing-space-after-bang is deprecated: bang patterns can no longer be written with a space