[exdsq]

There are some pretty good tutorials on Idris which cover just enough Haskell to get you started but yes, maybe it's too much in one go. Dependent Types though <3