make sample program using pair_tuple
make sample program using lazy eval