my $two = sub { my($f,$x) = @_; $f->($f->($x)); };

sub add {
  my($m,$n) = @_;
  sub { my($f,$x) = @_; $m->($f, $n->($f, $x)) };
}

sub decode { my($n) = @_; $n->( sub{$_[0]+1}, 0 ); }

print decode( add($two, $two) ), $/;