Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure →
  ReaderT Lean.Compiler.LCNF.Simp.JpCasesInfoMap
    (StateRefT' IO.RealWorld Lean.Compiler.LCNF.Simp.Ctor2JpCasesAlt Lean.Compiler.LCNF.Simp.DiscrM)
    (Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure)