Pretty printing could just take the pattern out of the first argument, couldn't it?