add travis.yml
pfn actually returns a poly type