Lean.Compiler.LCNF.FunDecl Lean.Compiler.LCNF.Purity.pure →
  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)
      (Option (Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure))