Type synonym lost with GADTs
Consider the following:
type Joules = Double
type Grams = Double
data Unit a where
Energy :: Unit Joules
Mass :: Unit Grams
test :: Unit a -> a
test Energy = _
GHC reports the hole as _ :: Double
, but I expected the synonym to remain intact, i.e., that the hole would be _ :: Joules
.