{-# htermination addToQueue :: Queue a -> a -> Queue a #-} import Queue