Am Sonntag 18 April 2010 02:05:30 schrieb Bertram Felgenhauer: > Which is > > always = \a_aeO -> let k_sYz = always a_aeO > in a_aeO >> k_sYz > > specialised to IO, and with (>>) inlined. > > Where is the knot? Nowhere. Got confused by all the a_aAe and `cast` (GHC.Types...). Sorry.