added -XNoMonorphismRestriction tip