_ImplicitParam

A parameter `X_ of type `type_ is encoded as `:type(X, X) where X:type_.