module Main where

import Prelude

tail = \(_:xs) -> xs

foreign import error
  """
  function error(msg) {
    throw msg;
  }
  """ :: forall a. String -> a

main =
  let ts = tail [1, 2, 3] in
  if ts == [2, 3]
  then Debug.Trace.trace "Done"
  else error "Incorrect result from 'tails'."