Comment by wisnesky

We've used Poly to prove results about functorial data migration.