> (.) :: a -> (a -> b) -> b > x.f == f x Looks like a parallel of (>>=). Sounds interesting and useful, but why hijack dot? Would work nicely with record gettor functions (but not the settors). > Greg Tim Newsham http://www.thenewsh.com/~newsham/