Don't use record notation for single-field datacons in tactics#1456

mergify[bot] merged 3 commits intohaskell:masterhaskell/haskell-language-server:masterfrom

isovector:no-single-recordisovector/haskell-language-server:no-single-recordCopy head branch name to clipboard