blob: 9e8a8eca53fc41c68449425960a2a0bd225db7bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T11339.hs:15:5: error:
• Illegal overloaded signature conflicts with monomorphism restriction
t :: forall (f :: * -> *). Applicative f => (a -> f b) -> f t
• In an equation for ‘failing’:
failing left right afb s
= case pins t of {
[] -> right afb s
_ -> t afb }
where
t :: Applicative f => (a -> f b) -> f t
Bazaar {getBazaar = t} = left sell s
sell :: a -> Bazaar a b b
sell w = Bazaar ($ w)
....
|