Move the IsMonad type out of the example.