Language-agnostic schemas based on Haskell's type system | Heykuki News