How Typesafe Function Chains Guarantee Data Integrity Across Your Services