WYCS: ok, type propagation let through a very simple example.