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.