Inference works if you don't try to annotate the AST.
Reinstating prelude.