hjq: fix .[f], it is not though as g[f]
hjq: complete the Ord Value instance