The type of a Script's monad.
IO equipped information about the Lake configuration.
The type of a Script's function.
Similar to the main function's signature, except that its monad is
also equipped with information about the Lake configuration.
A package Script is a ScriptFn definition that is
indexed by a String key and can be be run by lake run [-- ].
lake run [-- ]