Yes definitely, I meant ADTs and GADTS -- Algebraic Data Types

They're a super good idea, so I'm glad that other languages are adopting it, but this is the kind of thing that haskell has had for a long time and is just second nature.