![mergify[bot]'s avatar](https://secure.gravatar.com/avatar/a3bacfa7f66ffc1ac0cdc811965ca3351054e6f5408eb5b29644e38c586be4a3?s=48&d=identicon "mergify[bot]")
Merge pull request #8854 from tek/torsten.schmits/add-extension-ListTuplePuns
add the extension ListTuplePuns (GHC proposal 475)
No related branches found
No related tags found
Checking pipeline status
add the extension ListTuplePuns (GHC proposal 475)