If I move this code to a constructor I would need ...
# arrow
a
If I move this code to a constructor I would need to duplicate the override from the switchMonad constructor