Effective Haskell: Chapter 9 - Monad instance error (page 357)

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

Good catch, thanks. I’ll add an errata item about this.