Oh I didn't know Idris had an effect system. Thanks!