Seemingly working type inference.