Maybes (hydra-java 0.14.1 API)

```
public interface Maybes
```
DSL interface providing Maybe/Optional primitive operations for working with optional values.

Method Summary

Static Methods
Modifier and Type	Method	Description
`static Term`	`apply()`	Returns a term representing the apply primitive operation for maybes.
`static Term`	`bind()`	Returns a term representing the bind primitive operation for maybes.
`static Term`	`map()`	Returns a term representing the map primitive operation for maybes.
`static Term`	`pure()`	Returns a term representing the pure primitive operation for maybes.

- Method Detail
  - apply
```
static Term apply()
```
    Returns a term representing the apply primitive operation for maybes.
    
    Returns:
    
    a term for applying a function in a maybe context
  - bind
```
static Term bind()
```
    Returns a term representing the bind primitive operation for maybes.
    
    Returns:
    
    a term for monadic bind in a maybe context
  - map
```
static Term map()
```
    Returns a term representing the map primitive operation for maybes.
    
    Returns:
    
    a term for mapping a function over a maybe value
  - pure
```
static Term pure()
```
    Returns a term representing the pure primitive operation for maybes.
    
    Returns:
    
    a term for lifting a value into a maybe context