What's Your Go-To Haskell Trick for Beginners?

AlbanLovense: > Let’s share some wisdom and make this journey a bit easier for the newbies! Haskell is not the end of the “food chain” For many years I was sceptical about proof assistants (agda and rocq), because of a terrible Prolog course taught in the university. I would recommend to try GADTs feature after studying inductive types described in the 1st volume of Benjamin Pierce book “Software Foundations”.