1In Standard ML, no abstract type admits equality; this restriction is lifted in GimML.