Haskell do notation edge case не может проверить тип

Это странное взаимодействие.

Я начал упрощать тестовый пример, и он работает нормально.

> x = do succ ; <$> Just 1
> x
Just 2

Для сравнения, это НЕ анализирует:

> y = do { succ ; <$> Just 1 }      
error: parse error

Однако это анализирует:

> z = do { succ } <$> Just 1      
> z
Just 2

Итак, вот что я думаю, что происходит. Поскольку токен <$> никогда не может запускать выражение, синтаксический анализ предварительно завершается ошибкой. Правило синтаксического анализатора do, по сути, является правилом максимального пережевывания: в случае неудачи добавьте неявное } и повторите попытку.

Из-за этого x выше анализируется как z. Поскольку succ является монадическим значением (строка (+10) в вопросе ОП), оно может появляться внутри do. Это делает проверку типов успешной.

Цитирование отчета Haskell 2.7

Закрывающая фигурная скобка также вставляется каждый раз, когда заканчивается синтаксическая категория, содержащая список макетов; то есть, если недопустимая лексема встречается в точке, где закрывающая фигурная скобка была бы допустимой, вставляется закрывающая скобка.

fff :: Int -> Maybe Int
fff i = do
    (+10)
    <$> Just i

Почему приведенный выше синтаксис считается допустимым?

Потому что он анализируется как

fff i = do {        -- do { A } is just
    (+10) }         --      A
    <$> Just i

что эквивалентно

fff i =
    (+10) 
    <$> Just i

потому что <$> Just i само по себе является недопустимым выражением (поэтому fff i = ((+10) >>= (\i -> fmap (Just i))) i является неправильным переводом), и это ограничивает размер блока do в соответствии с правилом, указанным в ответе @chi.

Действительно, его тип выводится как

fff :: Num b => b -> Maybe b

Второй пример работает, если вы добавите пробел перед <$> в последней строке. Без пробела он снова анализируется как

inputTest :: FormInput -> IO (Either [String] (Int, Int))
inputTest fi = do {
    allErrors' <- undefined :: IO [String]
    undefined }
    <$> ((liftM2 ) (,) <$> undefined <*> undefined) fi

потому что <$> ... само по себе является недопустимым выражением. Действительно, когда я добавляю явные разделители,

inputTest2 :: String -> IO (Either [String] (Int, Int))
inputTest2 fi = do {
    allErrors2 <- undefined :: IO [String] ;
    undefined  }
    <$> ((liftM2 ) (,) <$> undefined <*> undefined) fi

Я получаю точно такое же сообщение об ошибке в TIO (пришлось использовать String вместо вашего типа).

Начиная с первого undefined :: IO [String], весь блок do имеет некоторый тип IO t, и мы не можем отобразить это ни на что.

Всегда добавляйте все явные разделители (в дополнение к хорошему стилю отступов), чтобы избежать этой странной хрупкости синтаксиса.

Ваш новый пример

x :: Maybe Int
x = do          -- {     this is
  _ <- Just 1   -- ;       how it is
  undefined     -- }         parsed
  <$> Just 5

Код изменился, но ответ тот же. Блок do перед блоком <$> равен Maybe t (из-за Just 1), и мы не можем отобразить это.

Снова сделайте отступ в последней строке, и она скомпилируется, потому что undefined <$> Just 5 теперь будет проанализировано как одно выражение.