Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / T8563.hs
1 {-# LANGUAGE PolyKinds #-}
2 module Tagged where
3
4 newtype Tagged s b = Tagged b deriving Eq