Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc036.hs
1 module ShouldSucceed where
2
3 class (Eq a) => A a where
4 op1 :: a -> a