Pardo A, Fernandes JP, Saraiva JA.? 2009.??Shortcut fusion rules for the derivation of circular and higher-order monadic programs. Workshop on Partial Evaluation and Program Manipulation. :81-90.