Instantiate data constructor type variables with the type constructor type variables...