Maybe

type Maybe<T> = T | ValidationError;