Making my life easier with GADTs

Overloading the lambda abstraction in Haskell (2022)