module A where

x :: Boolean
x = true