Recognize a MethodType which represents an extension method.
It may have a curried parameter list with the $this alone in the first
parameter list, in which case that parameter list is dropped. Or, since
the curried lists disappear during uncurry, it may have a single parameter
list with $this as the first parameter, in which case that parameter is
removed from the list.
Recognize a MethodType which represents an extension method.
It may have a curried parameter list with the
$this
alone in the first parameter list, in which case that parameter list is dropped. Or, since the curried lists disappear during uncurry, it may have a single parameter list with$this
as the first parameter, in which case that parameter is removed from the list.