Explain typeclass code
Drop useless refs