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'."