Non-exhaustive patterns with syntactic sugar and pattern matching

Question

I wrote the function fun1 which takes a list and drops every number that is bigger or equal than the previous numbers.