Насколько опасен AllowAmbiguousTypes при использовании с TypeApplications?

Насколько опасно расширение AllowAmbiguousTypes при использовании с расширением TypeApplications?

В руководстве GHC приводится следующий пример неоднозначного типа:

class C a

f :: C a => Int
f = 3

Это не может быть скомпилировано, если AllowAmbiguousTypes не используется со следующим сообщением:

file.hs:8:6: error:
    • Could not deduce (C a0)
      from the context: C a
        bound by the type signature for:
                   f :: forall a. C a => Int
        at file.hs:8:6-15
      The type variable ‘a0’ is ambiguous
    • In the ambiguity check for ‘f’
      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
      In the type signature: f :: C a => Int
  |
8 | f :: C a => Int
  |      ^^^^^^^^^^

С AllowAmbiguousTypes компилируется правильно.

Однако следующий пример не может быть скомпилирован даже с AllowAmbiguousTypes:

class C a

f :: C a => Int
f = 3

g :: C a => Int
g = f

При попытке его компиляции выдает следующую ошибку:

file.hs:12:5: error:
    • Could not deduce (C a0) arising from a use of ‘f’
      from the context: C a
        bound by the type signature for:
                   g :: forall a. C a => Int
        at file.hs:11:1-15
      The type variable ‘a0’ is ambiguous
    • In the expression: f
      In an equation for ‘g’: g = f
   |
12 | g = f
   |     ^

Это можно записать, включив TypeApplications и записав его следующим образом:

class C a

f :: C a => Int
f = 3

g :: forall a. C a => Int
g = f @a

AllowAmbiguousTypes звучит пугающе, но, судя по описанию в руководстве GHC, он кажется довольно безобидным, особенно при использовании с TypeApplications.

Не похоже, что AllowAmbiguousTypes вызовет ошибки во время выполнения, верно?

Эта комбинация AllowAmbiguousTypes и TypeApplications также, кажется, используется в некоторых довольно популярных пакетах, таких как ограничения.