blob: 5799d7c86dbd4abfb969de6d0c734b1960e5eadc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T20083.hs:6:6: error:
• Couldn't match type ‘m’ with ‘'Many’
arising from multiplicity of ‘x’
‘m’ is a rigid type variable bound by
the type signature for:
ap :: forall a b (m :: GHC.Types.Multiplicity).
(a -> b) -> a %m -> b
at T20083.hs:5:1-27
• In an equation for ‘ap’: ap f x = f x
• Relevant bindings include
ap :: (a -> b) -> a %m -> b (bound at T20083.hs:6:1)
T20083.hs:9:5: error:
• Couldn't match type ‘'Many’ with ‘'One’
arising from a non-linear pattern
• In the pattern: _
In an equation for ‘ap2’: ap2 _ = ()
|