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