// bug 657
def Sort[T](lst)
{
  | head :: tail => [head] + Sort (tail) // E: subtype
  | [] => [] : list[T] // W: unused
}

_ = Sort([1]);