val getError : t ::: Type -> option t -> t