{-# htermination range :: ((),()) -> [()] #-}