blob: 88250ef9a7c0304ae99f7e2ccae8c9dd7a334b9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T11339.hs:15:5: error:
• 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)
....
|