Witchcraft IO monad?

[Fl4m3Ph03n1x]

I apologize if this is not the correct forum to make these questions. If not, please let me know the appropriate place and feel free to cancel this issue.

---

Background

I have recently been delving into more functional code. My objective right now is to get something similar to the IO Monad (in Haskell, Scala, etc) but in Elixir.

To this extent, I understand Witchcraft should be in theory capable of doing it.

Doubts

However, after reading through their documentation I have some questions:

• I was not able to find a clear-cut example of the IO Monad. I have the idea what I have to create Monads myself using one of the sub-libraries, but I am not 100% sure of this.
• I am not sure if Dialzyer plays nice with Witchcraft and if it can detect issues if my code is incorrect (like Scala compiler does).

Could someone help me answer these questions?

[github-actions]

Thank you for submitting an issue! It means a lot that you took the time -- it helps us be better 🙏