6 ms·Oh I didn't know Idris had an effect system. Thanks!by RubenSandwich 7y agoOh I didn't know Idris had an effect system. Thanks!