@jcoglan I have that all the time with algebraic data types and any language that isn't haskell