Implicit-flow Packages