Cryptol.TypeCheck.Instantiate
instantiateWith