type option = Some (string) | None

let none : option = None<>

let some42 : option = Some<> (42)