An abstraction of a stack and stack-based monadic context.