Optional/build
A
(λ(optional : Type) → λ(just : A → optional) → λ(nothing : optional) → x)