mod45.hs:5:3: Misplaced type signature: == :: T -> T -> Bool