checkProgram :: Program a b c NodeMeta -> ErrorOr ()
checkProgram p = checkSignatures p >> checkAssignments p
checkProgram :: Program a b c NodeMeta -> ErrorOr ()
checkProgram p = checkSignatures p >> checkAssignments p
checkProgram p = checkSignatures p >> checkAssignments p