Discovered CRTP