SecretT computations do not need to be constrained to MonadIO