ついでに
main = mapM_ (putStrLn . (\(AH x f) -> f x))) animals
ですね。