3 ms·Use Phantom Types. The compiler will help you.by rq1 6y agoUse Phantom Types. The compiler will help you.