> compile

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

-> compile