For example, in we defined instances for different types. These are done with Erlang Code.

This is a function we defined to compare two s.

The nice thing is that we can give a type; however there is no way that Hamler can check this against the actual code you’ve written in Erlang. So when you are doing something not pure, remember to wrap the output with IO.