Add VerifiedMonad (Either e)  + verified.ipkg