A toy programming language that supports multiple bounded quantification mechanisms.

The syntax is based on the supplementary implementations for Types and Programming Languages. There is also a MoonBit port.