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