module Nil where

import Prelude ()

nil :: [a]
nil = []