3 ms·and type classes desugar to regular types except with allowance for higher-ranked typesby anaphor 13y agoand type classes desugar to regular types except with allowance for higher-ranked types