#11135: Migrate more of Data.Functor.* from transformers to base. -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: task | Status: upstream Priority: highest | Milestone: 8.0.1 Component: libraries/base | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1543 Wiki Page: | Phab:D1544 Phab:D1630 -------------------------------------+------------------------------------- Comment (by duairc): I understand that. Like I said, I can see why `Eq1`, etc. are useful in their own right. But the questions I was really asking are: 1. Do we care about Haskell 98 compatibility in base? 2. If not, could I add an instance e.g., `Semigroup (f (g a)) => Semigroup (Compose f g a)`? There are a bunch of non-Haskell 98 instances I would like to add, especially for `Compose`. Some of these could be made into Haskell 98-compatible instances with more `Eq1`-style helper type classes, but some could not. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11135#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler