<div dir="auto">relevant reddit comment thread: <a href="https://www.reddit.com/r/haskell/comments/9vtis5/the_universe_of_discourse_i_hate_the_environment/e9f1lea?utm_source=reddit-android">https://www.reddit.com/r/haskell/comments/9vtis5/the_universe_of_discourse_i_hate_the_environment/e9f1lea?utm_source=reddit-android</a><div dir="auto"><br></div><div dir="auto">instance Num b => Num (a -> b) where</div><div dir="auto">  f + g = \x -> f x + g x</div><div dir="auto">  f * g = \x -> f x * g x</div><div dir="auto">  f - g = \x -> f x - g x</div><div dir="auto">  negate f = \x -> negate (f x)</div><div dir="auto">  abs f = \x -> abs (f x)</div><div dir="auto">  signum f = \x -> signum (f x)</div><div dir="auto">  fromInteger i = \x -> fromInteger (f x)</div></div>