{-# htermination sort :: [()] -> [()] #-} import List