Derive MonadCatch instance
Add tests for package mime type verification