{-# htermination deQueue :: Queue a -> Maybe (a, Queue a) #-}
import Queue