[Removed comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20091119165538
 Ignore-this: 4544972446006fafa44876497af74c01
] hunk ./CompositionBased.agda 68
-    -- What is the motivation for using suc i and i here?
-