22 Aug
2016
22 Aug
'16
2:13 p.m.
.. actually, I got fg wrong. Caught it by changing g to (/ ): f::Fractional f => f -> f -> f f = (+) g::Fractional g => g -> g g a = a / 2 h::Fractional h => h -> h h = (* 10) fg::Fractional a => a -> a -> a fg = f <$> g {- fg a b = (a / 2) + b fg a = \b -> (a / 2) + b -} fgh::Fractional a => a -> a fgh = fg <*> h {- fgh a = fg a (a * 10) fgh = \a -> fg a (a * 10) -}