Remove NoMonomorphismRestriction