import Data.List; sort [2, 1]