Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc248.hs
1 {-# LANGUAGE ExplicitForAll #-}
2
3 module ShouldCompile where
4
5 identity :: forall a. a -> a
6 identity x = x