testsuite/tests/typecheck/should_fail/T10971c.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE MonomorphismRestriction, ExtendedDefaultRules #-}
module T10971c where

import Data.Traversable (fmapDefault)

f = \x -> length x
g = \f x -> fmapDefault f x
h = \f x -> (fmapDefault f x, length x)