module D where

class D a where

data T a = T