List

data [a]
  = []
  | a : [a]