type Option a { Some a | None }

type Optional a { Some a | None }