module Functions2 where

  import Prelude

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

module Main where

  import Prelude
  import Functions2

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