/Home/Player205/Dev/Vkpure/App/Main.Hs:59:5: error: • Ambiguous type variables ‘p2’,

Question

/Home/Player205/Dev/Vkpure/App/Main.Hs:59:5: error: • Ambiguous type variables ‘p2’,

‘fn1’ arising from a use of ‘!’
prevents the constraint ‘(Named.Internal.WithParam'
(Named.Internal.Decide
p2
(NamedF Identity Int "need_pts"
-> NamedF Identity Int "lp_version"
-> NamedF Maybe Int "group_id"
-> ClientM (VkResponse Server)))
p2
(NamedF Identity Int "need_pts"
-> NamedF Identity Int "lp_version"
-> NamedF Maybe Int "group_id"
-> ClientM (VkResponse Server))
fn1)’ from being solved.
(maybe you haven't applied a function to enough arguments?)
Probable fix: use a type annotation to specify what ‘p2’,
‘fn1’ should be.
These potential instances exist:
four instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)’
In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)
! #lp_version (3 :: Int)’
In the second argument of ‘($)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)
! #lp_version (3 :: Int)
! #group_id (Nothing :: Maybe Int)’
|
59 | ! #need_pts (0 :: Int)
| ^

/home/player205/dev/vkpure/app/Main.hs:59:7: error:
• Overlapping instances for GHC.OverloadedLabels.IsLabel
"need_pts" (Int -> Named.Internal.Param p2)
arising from the overloaded label ‘#need_pts’
Matching instances:
instance forall k1 k2 k3 (capital :: Bool)
(name :: ghc-prim-0.7.0:GHC.Types.Symbol) (p :: k1 -> k2 -> *)
(f :: k3 -> k2) (s :: k1) (t :: k3) (a :: k1) (b :: k3) pafb psft.
(capital ~ Data.Generics.Labels.BeginsWithCapital name,
Data.Generics.Labels.IsLabelHelper capital name p f s t a b,
pafb ~ p a (f b), psft ~ p s (f t)) =>
GHC.OverloadedLabels.IsLabel name (pafb -> psft)
-- Defined in ‘Data.Generics.Labels’
...plus one instance involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the expression: #need_pts
In the second argument of ‘(!)’, namely ‘#need_pts (0 :: Int)’
In the first argument of ‘(!)’, namely
‘(lp ^. #longPollServer) ! #need_pts (0 :: Int)’
|
59 | ! #need_pts (0 :: Int)
| ^^^^^^^^^