Contractual type inference (experimental).