blob: 3bae5a6ef2c1fca8f0d09f6a529ae05303d01e88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T9036.hs:17:17: error:
Couldn't match type ‘Curried t0 [t0]’ with ‘Curried t [t]’
NB: ‘Curried’ is a type function, and may not be injective
The type variable ‘t0’ is ambiguous
Expected type: Maybe (GetMonad t after) -> Curried t [t]
Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0]
In the ambiguity check for ‘simpleLogger’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
|