--- /dev/null
+# Optional values (Maybe)\r
+\r
+The type `Maybe a` can be used in situations where some value can \r
+not be necessarily computed. Its values are either `Nothing` or\r
+`Just v` where the type of `v` is `a`.\r
+\r
+::data[Builtin/Maybe]\r
+::value[Prelude/fromJust, Prelude/fromMaybe, Prelude/execJust, Prelude/filterJust, Prelude/orElse, Prelude/elemMaybe]\r