Nice! If you ever have trouble with the concepts, can try them in Haskell where they are more straightforward, and type inference works better. Then once understood, it is easy to come back and apply in Scala.
That's what I'm doing with GADTs right now. Though there's not much waiting for me back in Scala yet 🤣
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.