datatype t = datatype Basis.option

val isSome : a ::: Type -> t a -> bool