Почему моя 'находка' не работает как, я ожидаю использовать - должностное лицо?

Являются ли переменные типа в предложениях «где» в том же пространстве имен с родителями?

No *. Это становится немного легче, если вы думаете о foo :: s -> s в терминах foo :: forall s. s -> s. В конце концов, переменная типа указывает, что функция работает для любого типа s. Давайте добавим четкие количественные значения к вашему коду:

{-# LANGUAGE ExplicitForAll #-}

data T s = T (s -> s)

foo :: forall s. T s -> s -> s
foo (T f) x = bar x where
    bar :: forall s. s -> s
    bar a = f a

Как вы можете видеть, есть два forall s.. Но одно в bar неверно. В конце концов, вы не можете выбрать любой s, но тот, который уже используется в s. Это можно сделать, включив ScopedTypeVariables:

{-# LANGUAGE ScopedTypeVariables #-}

data T s = T (s -> s)

--     vvvvvvvv  explicit here
foo :: forall s. T s -> s -> s
foo (T f) x = bar x where
    --     vvvvvv  same as above here
    bar :: s -> s
    bar a = f a

Однако есть некоторые трюки, чтобы избавиться от ScopedTypeVariables. Например, в этом случае:

data T s = T (s -> s)

foo :: T s -> s -> s
foo (T f) x = (bar `asTypeOf` idType x) x where

    bar a = f a

    idType :: a -> a -> a
    idType a _ = a

-- For completion, definition and type of 'asTypeOf'
-- asTypeOf :: a -> a -> a
-- asTypeOf x _ = x

Для любого x :: s термин idType x имеет тип s -> s, а asTypeOf принуждает обе иметь одинаковый тип.

В зависимости от вашего фактического кода, что-то вроде этого может быть более или менее выполнимым.

---

* Ну, в этом случае, поскольку можно использовать ScopedTypeVariables, см. более позднюю часть ответ.