Better pretty printing of implicit parameters