List Patterns

  1. isEmpty :: forall a. [a] -> Boolean
  2. isEmpty []     = true
  3. isEmpty [x|xs] = false