let Option = ../Option/type.dhall in ∀(o : Option) → Text