hamt0.1 => only 4.01 and above

need (|>) to be available