Mozart.Type.Choice (Mozart v0.5.8)