#13773: Types are not normalized in instance declarations -------------------------------------+------------------------------------- Reporter: augustss | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | 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 chshersh): I actually encountered complex use case and find this issue annoying. I'm working on library for type-safe time-units which are represented using type level rational numbers. See example here: * https://github.com/serokell/o-clock/blob/dd5026264c667feee49e2b70396a170c874... And here what I need to write in order to implement nice and pretty show instance for those time units: * https://github.com/serokell/o-clock/blob/dd5026264c667feee49e2b70396a170c874... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13773#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler