Creating the instance of Monad Outlaw described in the text results in error:
• No instance for (Applicative Outlaw)
arising from the superclasses of an instance declaration
• In the instance declaration for ‘Monad Outlaw’
Resolved by adding Applicative instance:
Instance Applicative Outlaw where
pure = return