test31 = putTree1 {_} {_} {!$\mathbb{N}$!} {!$\mathbb{N}$!} (createEmptyRedBlackTree!$\mathbb{N}$! !$\mathbb{N}$! ) 1 1
$ \t !$\rightarrow$! putTree1 t 2 2
$ \t !$\rightarrow$! putTree1 t 3 3
$ \t !$\rightarrow$! putTree1 t 4 4
$ \t !$\rightarrow$! getRedBlackTree t 4
$ \t x !$\rightarrow$! x