Data.Empty

data T a