! norm IS dup curry ! : norm dup curry ;