A Contract with no method constraints.