{-# LANGUAGE RebindableSyntax #-}

module Main where

import Prelude

ifThenElse True x y = y
ifThenElse False x y = x

test = if True then 0 else 1

main = print ( test )