#13177: Give Data.Functor.* its lifted void and unit -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 8.0.1 Resolution: | Keywords: 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 Iceland_jack): Replying to [comment:3 RyanGlScott]:
I do admit that I'm not a fan of having copies of every common `(* -> *)`-kinded datatype in `GHC.Generics`, …
As another point of reference, the `trivia` package on Hackage calls
Agreed but is merging them a realistic option? lifted void and unit `Zero` and `One`, respectively. I like those names. As long as the name is consistent I'm happy. I have heard `Void`, `Empty`, `Null`, `Vacuous`, `Finalize` / `Initialize`, `Terminal` / `Initial`, `Naught`. Even `DevNull` :-)
So do you want to be the adventurous spirit that chooses a set of names to rally behind and argue for them on the libraries mailing list?
Ack! Sure, I don't like dealing with the mailing lists though. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13177#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler