{-# LANGUAGE Strict #-}
module Main where

main = let False = True
       in return ()