Wingman can't split type family

```haskell
{-# LANGUAGE TypeFamilies #-}

module Lib where

type family Yo where
    Yo = Bool

test :: Yo -> Int
test b = _
```

Running `Destruct b` at the hole prints an internal error, I guess because there are no data constructors. Pretty sure this used to work, so not sure when it regressed.