1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE Strict #-} -- | Strict should imply StrictData module Main where data Lazy a = Lazy ~a main :: IO () main = case Lazy undefined of Lazy _ -> putStrLn "Lazy"