Print RealFunctions within angled brackets, i.e. "<RealFunction>".
instance Show (RealFunction a) where
-- | There is nothing of value that we can display about a
-- function, so simply print its type.
- show _ = "RealFunction"
+ show _ = "<RealFunction>"
-- | An 'Eq' instance is required to be a 'Num' instance.
instance Eq (RealFunction a) where
-- | Nothing else makes sense here; always return 'False'.
- _ == _ = False
+ _ == _ = error "You can't compare functions for equality."
-- | The 'Num' instance for RealFunction allows us to perform