Simplify Idris stuff until "using" blocks behave predictably
Decidable MERGE inference for Haskell