Имеется такой код:

module M where

y = 1
x = let y = [M.y] in y

GHC: OK
Hugs: Type error in function binding, unification would give infinite type

Вопрос: Кто из них прав? Можно ли использовать qualified name для обращения к не-toplevel декларациям?