empty
exec queue
head queue
isEmpty queue
rotate queue
snoc x queue
tail queue
tryGetHead queue
tryGetTail queue