Couldn't match type (a -> b, a)' witha0 -> b0 -> c0'
Expected type: f (a0 -> b0 -> c0)
Actual type: f (a -> b, a)
In the second argument of fmap', namely(() g a)'
In the expression: fmap (uncurry $) (() g a)
In an equation for ap': ap' g a = fmap (uncurry $) ((**) g a)
Relevant bindings include
a :: f a (bound at main.hs:11:7)
g :: f (a -> b) (bound at main.hs:11:5)
ap' :: f (a -> b) -> f a -> f b (bound at main.hs:11:1)
|
11 | ap' g a = fmap (uncurry $) ((**) g a)
https://github.com/thalerjonathan/phd/blob/ab13d133c3b5b209a1aae39b4c469de5ab0d0587/coding/learning/haskell/typeclassopedia/ApplicativeAlternative.hs#L13
main.hs:11:30: error:
(a -> b, a)' with
a0 -> b0 -> c0' Expected type: f (a0 -> b0 -> c0) Actual type: f (a -> b, a)fmap', namely
(() g a)' In the expression: fmap (uncurry $) (() g a) In an equation for ap': ap' g a = fmap (uncurry $) ((**) g a)