#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 RyanGlScott): Interesting idea. I do admit that I'm not a fan of having copies of every common `(* -> *)`-kinded datatype in `GHC.Generics`, but sadly, that's the way it is right now. I think it might be an interesting proposal idea to add non-`GHC.Generics` versions of `V1` and `U1` to the `Data.Functor.*` namespace in `base`. But of course, the hardest part is naming, as always. I'm not terribly found of the name `V0` for lifted unit, given its linear algebra connotation. As another point of reference, the `trivia` package on Hackage calls lifted void and unit `Zero` and `One`, respectively. 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? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13177#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler