General tidying, better approach to recursive functions with a top-level quantifier
General tidying, better approach to recursive functions with a top-level quantifier

michaelficarra/purescript,michaelficarra/purescript