Don't export MonadCatch functions
Implement new and improved Magic system