Validation via Phantom Data

Use phantom types to ensure errors are handled before accessing restricted data.