But this means that this pattern matching will never fail or give an error, because it will accept all kinds of arguments.