import public Pack.Core
runCmd : HasIO io => EitherT PackErr io ()
Main application entry point (modulo error handling).