Design
======

Notes and design decisions.

| Item | Description      | Rationale       |
|------|------------------|-----------------|
| D1   | Minimal prelude  |                 |
| D2   | Newtype pattern  |                 |
| D3   | Type inference for return types |    |
| D4   | Traits as parameters |               |