Monadic Packages