
22 Aug
2016
22 Aug
'16
1:34 p.m.
Hello Ollumide, this may help: it builds and runs anyway. {- instance Applicative ((->) r) where pure x = (\_ -> x) f <*> g = \x -> f x (g x) with the following expression ghci> :t (+) <$> (+3) <*> (*100) (+) <$> (+3) <*> (*100) :: (Num a) => a -> a ghci> (+) <$> (+3) <*> (*100) $ 5 508 -} f::Num f => f -> f -> f f = (+) g::Num g => g -> g g = (+ 3) h::Num h => h -> h h = (* 100) fg::Num a => a -> a -> a fg = f <$> g {- fg a b = a + (b + 3) fg a = \b -> a + (b + 3) -} fgh::Num a => a -> a fgh = fg <*> h {- fgh b = fg (b * 100) fgh = \b -> fg (b * 100) -}