# Optional values (Maybe)

The type `Maybe a` can be used in situations where some value can 
not be necessarily computed. Its values are either `Nothing` or
`Just v` where the type of `v` is `a`.

::data[Builtin/Maybe]
::value[Prelude/fromJust, Prelude/fromMaybe, Prelude/execJust, Prelude/filterJust, Prelude/orElse, Prelude/elemMaybe]