Error: "./Foo.bsv", line 11, column 8: (S0007)
  Circular package importing: Foo