{-# LANGUAGE UnicodeSyntax #-} import Prelude.Unicode testAnd ::Int ->Int ->Bool testAnd a b = let b = a d 3 b = b e 5 in b ' b testOr ::Int ->Int ->Int ->Int ->Int ->Bool testOr a b c d e = let b = a d 3 b = b b 5 b = c n 5 b = d o 6 b = e  [1,2,3,4] b = e [5,6,7,8] in b ( b ( b ( b ( b ( b