module T9030 where

bad :: Bool
bad = ()

square :: Integral i => i -> i
square x = x^2