checkWithoutMain :: Program a b c NodeMeta -> ErrorOr ()
checkWithoutMain = checkProgram
checkWithoutMain :: Program a b c NodeMeta -> ErrorOr ()
checkWithoutMain = checkProgram
checkWithoutMain = checkProgram