The notation used seems rather confusing, not even showing the list of arguments. For example, the argument swapping combinator C which is normally defined as

    C f x y = f y x

is shown on this page as as y F x, which I can only make sense of by assuming that F is an infix function. In Haskell you could use infix notation to define

    C f x y = y `f` x

but you can't use capitalize function arguments.