purescript-free-group NOTE: This library is deprecated, as it has been folded into purescript-group. For free groups in Purescript, use that library. Free groups in Purescript, inspired by this podcast episode.