checkMain :: Program a b c NodeMeta -> ErrorOr ()
checkMain program = unless (hasMain program) noMain
checkMain :: Program a b c NodeMeta -> ErrorOr ()
checkMain program = unless (hasMain program) noMain
checkMain program = unless (hasMain program) noMain