Works with full inference of annotations.
Requires simplifications now.