Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10971c.hs
1 {-# LANGUAGE MonomorphismRestriction, ExtendedDefaultRules #-}
2 module T10971c where
3
4 import Data.Traversable (fmapDefault)
5
6 f = \x -> length x
7 g = \f x -> fmapDefault f x
8 h = \f x -> (fmapDefault f x, length x)