All sorts of fun and useful types and procedures.