# types.sprak
Library of types.

## Functions
### `Left`
Constructor for the `Left` variant of the `Either` type
#### Type
`A -> [false, A]`
#### Arguments
* `input`: Value to wrap in the `Either` type.
#### Examples
```sprak
# TODO
```

### `Right`
Constructor for the `Reft` variant of the `Either` type
#### Type
`A -> [true, A]`
#### Arguments
* `input`: Value to wrap in the `Either` type.
#### Examples
```sprak
# TODO
```