Polymorphic Cancellation: MonadCancel

Complete and Continue