{-# LANGUAGE TypeFamilies #-}

module Simple2a where

class C a where
  data Sd a :: *
  data Sn a :: *
  type St a :: *

instance C Int where
  data    Sd a = MkSd -- :: *   -- Looks like a nullary data instance decl
  data    Sd Int = SdC Char
  newtype Sn Int = SnC Char
  type    St Int = Char