#14922: Add inductively-defined Nat to base -------------------------------------+------------------------------------- Reporter: chessai | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 8.2.2 Resolution: | Keywords: base Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): This is a feature request to add something to a core library, and as such, you should run this by the [https://mail.haskell.org/mailman/listinfo/libraries libraries mailing list] first to ensure that there is community consensus to do this. It's worth noting that there have been previous proposals for this in the past, one of which is [https://mail.haskell.org/pipermail/libraries/2016-January/026537.html this one] (from January 2016). That one ended with the consensus that this should //not// be added to `base`. Still, if you feel strongly otherwise, it might be worth bringing this up again—it's possible that public opinion has shifted since then. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14922#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler