% $Id: Seq.oz,v 1.2 2007/10/22 04:40:34 leavens Exp leavens $ % Example of higher-order embedding and also of ADTs declare fun {Repeat Num} fun {$ N} Num end end fun {Generate F} fun {$ N} {F N} end end fun {Nth Seq N} {Seq N} end fun {Add First Second} fun {$ N} {Nth First N} + {Nth Second N} end end