blob: e8543108355dc7d33ff04cb0c8c2009e088533a6 (
plain)
1
2
3
4
5
6
7
8
9
10
|
FD1.hs:16:1: error: [GHC-25897]
• Couldn't match expected type ‘a’ with actual type ‘Int -> Int’
‘a’ is a rigid type variable bound by
the type signature for:
plus :: forall a. E a (Int -> Int) => Int -> a
at FD1.hs:15:1-38
• The equation for ‘plus’ has two value arguments,
but its type ‘Int -> a’ has only one
• Relevant bindings include plus :: Int -> a (bound at FD1.hs:16:1)
|