module Prelude where

infixr 5 :

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