-(&&) :: Boolean -> (<e> Boolean) -> <e> Boolean\r
-a && b = if a then b else False\r
-\r
-main = False && fail "Should not be evaluated!"\r
---\r
+(&&) :: Boolean -> (<e> Boolean) -> <e> Boolean
+a && b = if a then b else False
+
+main = False && fail "Should not be evaluated!"
+--
false
\ No newline at end of file