3Hydra: Type-aware transformations for data and programs (opens in new tab)(hackage.haskell.org)5wisnesky3y ago2