Fix bug in GADT constraints for hidden open types