> This is pretty much what you must do in Haskell I think you're being a bit generous saying we are doing CT in programming languages. Fine to say inspired by

> This is pretty much what you must do in Haskell I think you're being a bit generous saying we are doing CT in programming languages. Fine to say inspired by CT, but the OP comment is much more true than what we do in say Haskell. Haskell encourages composition but it does in fact look into (pattern match) on data all the time