Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / mc24.stderr
1
2 mc24.hs:10:31: error:
3     • Couldn't match type ‘[a0]’ with ‘[a] -> m [a]’
4       Expected type: (a -> Integer) -> [a] -> m [a]
5         Actual type: [a0] -> [a0]
6     • Possible cause: ‘take’ is applied to too many arguments
7       In the expression: take 2
8       In a stmt of a monad comprehension: then group by x using take 2
9       In the expression:
10         [GHC.List.length x | x <- [1 .. 10], then group by x using take 2]
11     • Relevant bindings include foo :: m Int (bound at mc24.hs:8:1)