Является ли Haskell FlexibleInstances стабильным расширением языка?

В чем проблема с FlexibleInstances в Haskell? Почему они не включены в Haskell 2010? Были ли реализации FlexibleInstances недостаточно стабильными для включения в стандарт, или же с FlexibleInstances связаны более глубокие проблемы? Насколько безопасно их использовать? Скорее всего, они будут включены в Haskell Prime?