{-# LANGUAGE GADTSyntax #-}
{-# LANGUAGE TypeFamilies #-}
data instance Bar Int a where
    SameBar
      :: Bar Int
           Int
    CloseBar :: Bar Int Double
    OtherBar
      :: Bar Int
           a