#10039: Make Const (Control.Applicative) kind polymorphic in its second argument -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: ekmett Type: feature request | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by ekmett): This may change if we decided to bring more of the "non-transformers" that sit in `transformers` into `base`, e.g. `Product` and `Sum` for functors can generalize {{{ Product :: (k -> *) -> (k -> *) -> k -> * Sum :: (k -> *) -> (k -> *) -> k -> * }}} and the generalizations are quite useful. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10039#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler