Review by @vjovanov Reification works with types and self parameter.