error(type_error(character), 42)