{-# LANGUAGE TypeFamilies #-}
module T2436a( S ) where

data family S a