Dynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; staticallytyped languages offer powerful tools for working with structured data, notably algebraic datatypes, which are a ...