Quirks

• All values of a recursive type are enforced to be heap allocated.