# Functor

## Signatures

## Module Definitions

`<$`

is the operator `$>`

with its arguments flipped.

`<$$>`

is the operator `<$>`

with its arguments flipped.

Replaces the value `a`

in `s`

with `Unit`

preserving the structure of `s`

.

This function is typically used to discard the return value of computing `s`

.