I'm not solid on the Eff monad, but it seems like this should be
```purescript
forall eff r. Number -> Eff (trace :: Trace | eff) r -> Eff eff {}
```
Otherwise it's allowing `interval` to introduce new effects.
@paf31 can you confirm?