Name         | #     | Haskell | Ramda    | Signature
------------:|-------|---------|----------|----------
identity     | **I** | id      | identity | `a → a`
constant     | **K** | const   | always   | `a → b → a`
apply        | **A** | ($)     | call     | `(a → b) → a → b`
thrush       | **T** | (&)     |          | `a → (a → b) → b`
flip         | **C** | flip    | flip     | `(a → b → c) → b → a → c`
compose      | **B** | (.)     | compose  | `(b → c) → (a → b) → a → c`
substitution | **S** |         |          | `(a → b → c) → (a → b) → a → c`
psi          | **P** | on      |          | `(b → b → c) → (a → b) → a → a → c`
fix          | **Y** | fix     |          | `(a → a) → a`
converge     |       |         | converge | `(b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d`
useWith      |       |         | useWith  | `(b -> d -> e) -> (a -> b) -> (c -> d) -> a -> c -> e`