Get rid of dead code, cannot be called because of the type checker
attempt to make the documentation easier