Douglas McClean

I'm not entirely clear on what `sinh` actually is, so I wasn't sure if it was `Dimensionless a -> Dimensionless a` or `PlaneAngle a -> Dimensionless a` like `sin` is....

Agreed.

I was thinking that there isn't really duplication because we can just re-export everything except for the things that are different, and so the user would only need to import...

That synonym is a good idea. I was trying to think of how to write it but I was screwing it up by not putting all the type variables on...

Good questions both. I can't answer because all my projects are running on the bleeding edge of GHC versions and so it doesn't impact me. Restructuring modules now as discussed.

See https://github.com/dmcclean/dimensional-dk/blob/24a78392b9355b43d0e86728044b2a1f7e074473/src/Numeric/Units/Dimensional/DK/SI/Quantities.hs for a place where having the type family does cut down on verbosity. Do you think this is sufficient reason to keep it? If so I will promote...

Taking this path would require answering the question in #80.

Not a bad idea. So we have: ``` type SIDim l m t i th n j = 'Dim l m t i th n j 'Zero 'Zero type family...

Without injective type families the documentation idea in my last comment doesn't really work, so I am skipping it.

If we want to take this branch, we should probably think about #23 some more, because a fair amount of my code that deals with angles doesn't need the type...