I stopped reading at "There's no such thing as user-defined equality". Defining equality, and other functions, is an intrinsic part of defining a type. Whatever Cell may be good for, it's obviously not for me.