that would certainly be most in the spirit of “a type is just backed by arbitrary compute”