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.
The full name of the Script (e.g., pkg/script).
A package Script is a ScriptFn definition that is
indexed by a String key and can be be run by lake run [-- ].
lake run [-- ]