Change seqf to use Optional instead of ((->) t)
Change seqf to use Optional instead of ((->) t)