Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / T10971a.hs
1 {-# OPTIONS_GHC -Wall #-}
2 {-# LANGUAGE MonomorphismRestriction, ExtendedDefaultRules #-}
3 module T10971a where
4
5 import Data.Traversable (fmapDefault)
6
7 f = \x -> length x
8 g = \f x -> fmapDefault f x
9 h = \f x -> (fmapDefault f x, length x)