{-# OPTIONS_GHC -fplugin=Lang.Hask.GHCPlugin #-} module Prog1 where import Prelude x :: Int x = 1 + 1 + 1 + 1