This example will require deriving from `Copy` which will require introducing kinds and what `Copy` means.