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