Implicit arguments to funext.