The ideas in your question are far too difficult, for a one hour introduction.
Yesterday I had a look at Haskell and learnt some. I have over 30 years programming experience (20 years professional). Have experience with functional programming. Yet it took me several hours, and did not get far enough to be able to do your suggestions.
You say that your students have a maths background.
Take advantage of this. Choose some math problems. That Haskell is ideally suited to solve. And explain why you are doing this.
Ensure that you have more than you think you will need, as some students will be much faster than you expect, but don't expect to use them all.
Show advantages of functional
Don't do problems that are more difficult in a functional language than in a procedural one (Reversing a list, using procedural techniques, in $O(n)$, is easy. If by using functional they will probably get a $O(n^2)$ solution, and $O(n)$ is hard, then you are teaching a disadvantage on day one.)