recognize NoMonomorphismRestriction