Transformation error
The program
test :: Int
test = if (genBool,genBool) == (True,True) then 1 else failed
genBool = True ? False
is transformed in a wrong way:
test = case ((=:=) _inst#Prelude.Eq#Prelude.Bool (genBool,genBool) (True,True)) of
True -> 1
False -> failed