type IntList = [int]
type Maybe T = Some T | None
type Person = { name: str, alive: bool }