remove -XNoMonomorphismRestriction