Changed syntax in max_subseq to use (xs:xxs) notation, so you dont need to write explicitly head and tail