Douglas McClean

Perhaps there are a lot more? Power, luminous intensity (etc), amount of substance, quantities that you get by dividing those by area/volume/time?

This also allows for a separate abbreviation that is restricted to console-friendly characters, which is a nice potential feature.

I may have a sneaky way to unify these instances, by using another closed type family in exact-pi.

So without overlapping anything: ``` instance (KnownDimension d, E.KnownExactPi s, Show a, Real a) => Show (SQuantity s d a) where show (Quantity x) | isExactOne s' = show x...

Good questions. Its useful only in a context where the result type is already determined. For me that usually means some large record like the one above. Getting the parentheses...

OK, this is now merge worthy. The build with all flags enabled is currently allowed to fail in the travis file. This is because of version conflicts on hackage. Addressing...

This is up for review until 8 January 2016.

See this cabal issue for some discussion of why this may not be the way to go: https://github.com/haskell/cabal/issues/2821

You are absolutely right about that. It was for use with `linear`, but it isn't worth it. All my actual code that uses this uses `vector-space` instead for dimensional vectors,...

There's a comment on that thread by Edward suggesting (I think, I'm a little confused by it frankly) that he prefers the on-by-default approach. The on-by-default approach is more stack-friendly,...