type Option<T> = Some(T) | None
type Ord = LT | EQ | GT


fn map(input: Option<T>, func: Func): Option<T> {
  if input {
    is Option::Some(x) -> Option::Some(func(x)),
    is Option::None -> Option::None,
  }
}
  

type Complicated = Sunrise | Metal { black: bool, norwegian: bool } | Fella(String, Int)