let WinCondition = ../WinCondition.dhall

in  λ(winCondition : WinCondition.Type) →
      "Take the ${winCondition.item.name} to ${winCondition.area.humanName}"