[ todo ] Phantom types to ensure 0-freeness