Describe direct recursive map in a comment
Implement has_subsequence?