import Debug.Trace

main = sequence_
  [ putStrLn "Doing some stuff"
  , putStrLn "Just some ordinary programming"
  ]

{-# RULES
"coolprank"
  forall x.
  return x = trace "And then... I got in." (pure x)
#-}