> setup; reload

> compile

# make T invariant
$ copy-file changes/A.scala A.scala

-> compile
