checkWithMain :: Program a b c NodeMeta -> ErrorOr ()
checkWithMain p = checkMain p >> checkProgram p
checkWithMain :: Program a b c NodeMeta -> ErrorOr ()
checkWithMain p = checkMain p >> checkProgram p
checkWithMain p = checkMain p >> checkProgram p