函数依赖关系背后的想法是，在一个声明中，比如

  class Collapse ar | r  - > a 
 ...