> Idris is the "better Haskell" sure, but the effect tracking is still part of the uncanny valley (still IO monad based). Issit? I thought they track effects i

> Idris is the "better Haskell" sure, but the effect tracking is still part of the uncanny valley (still IO monad based). Issit? I thought they track effects in a special part of the type system as to not do it monadically. Possibly both are possible.