Add negative example

From tsr-experiments. TODO: automate testing that this does not
typecheck.