module Main where

  import Prelude

  test :: forall a b. a -> b -> a
  test = \const _ -> const

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

  main = do
    let value = test "Done" {}
    if value == "Done"
      then Debug.Trace.trace "Done"
      else error "Not done"