Idris had trifecta loosened upstream

We don't need to loosen it any more, and there's a clause in cabal_chdeps that breaks if a substitution fails, breaking the ebuild.