A typo in the distinct' quickcheck makes you test the old Course.State.d...

 A typo in the distinct' quickcheck makes you test the old Course.State.distinct version instead of the state' one we just did in StateT.