Makefile + extraction
Constraining [Deque.Make] interface