[zak_mc_kracken]

It's absolutely true for any code that's referentially transparent, regardless of whether it uses user-defined ADTs or any other construct.