Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-max-depth-1.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-max-depth-2.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-max-depth-all.txt