Is it safe to consider type families and associated type families extensions for ghc as stable ? Wich related extensions (flexible contexts, undecidable instanses and so on) may be deprecated or changed in near (2-3 years) future and wich may not?