1 2 3 4 5 6 7 8
{-# LANGUAGE BangPatterns #-} module Main where main = print (case Nothing of !(~(Just x)) -> "ok" Nothing -> "bad")