Definition of an Outputs.t type