…and since that alternative for .
apparently went nowhere:
Translated into Haskell:
infixr 9 `o`
o :: (b -> c) -> (a -> b) -> a -> c
(f `o` g) x = f (g x)
…since no-one here seems to have any great problem with “infix-quoting” the likes of div
, mod
, divMod
, quot
, rem
, quotRem
, et al.
Since you’ve apparently forgotten how this topic ended:

There are already too many Haskell-alike languages with better record syntax. (Even ML, which had sensible syntax before Haskell was a thing.)
From FOLDOC:
lazy sml2c
A lazy version sml2c. Portable, written in SML. Language extensions include first-class continuations, asynchronous signal handling.E-mail: david.tarditi@cs.cmu.edu. ftp://dravido.soar.cs.cmu.edu/usr/nemo/sml2c.
Lazy Standard ML
<language>
(LSML) A lazy varient of SML, allowing cyclic val definitions, by Prateek Mishra mishra@sbcs.sunysb.edu.
Enjoy.