Wingman doesn't respect GADT equalities when splitting

[isovector]

data GADT a where
    MkBool :: GADT Bool 

test :: GADT Int 
test = _

Attempt to fill hole will give the solution MkBool which is atrocious.