This artifact contains the implementation Hedgehog$^\rightarrow$, as well as several examples adapted from the original Hedgehog repository. It also contains a small tool for counting AST nodes in Haskell modules.