Compose

1. Introduction
2. Classes
   1. bind1st
   2. bind2nd?
   3. [compose f gx]?
   4. [compose f gx hx]?
   5. [compose f gx hy]?
   6. [compose f gxy]?
   7. [compose x hy]?
   8. [compose x x]?