Правильный способ импорта вещей, уже определенных в прелюдии в Haskell

почему он работает в ghci, но не в реальном?

потому что в вашем сеансе GHCi вы вводили выражения в контексте MyList модуль, so F.foldr был в области, но если вы импортируете MyList в другой модуль, то только имена, экспортируемые MyList и другие импортированные модули находятся в области видимости.

ваша догадка верна - в каждом модуле с помощью Data.Foldable.foldr вы должны

import qualified Data.Foldable as F

имена, экспортируемые модулем неквалифицированный; квалификация или нет этих имен определяется при импорте модуля.

на протяжении многих лет предлагалось разрешить экспорт квалифицированных имен, но на сегодняшний день ничего не реализовано.

относительно неявного Prelude import, вы можете добавить следующую прагму языка, а затем явно импортировать вещи из Prelude, но это может стать уродливее, чем просто скрывать вещи от Prelude или используя квалифицированный импорт Data.Foldable.

{-# LANGUAGE NoImplicitPrelude #-}

import Prelude (someFunction)

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

{-# LANGUAGE NoImplicitPrelude #-}
module Main (main) where

-- we import fromInteger although it's not explicitly used
import Prelude (Int, foldl, fromInteger, (+), putStrLn, (.), ($), IO, show)

sum :: [Int] -> Int
sum = foldl (+) 0

main :: IO ()
main = putStrLn . show $ sum [1,2,3]

Я говорил вам о это не потому, что это хорошее решение, а просто знать, что есть такая вещь.

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

import Prelude ()
import Prelude'
import Data.Foldable

конечно, вы должны сделать тяжелую работу в Prelude', но, по крайней мере, это многоразовые.

пояснение:

прелюдия'.hs:

module Prelude' (
    id
  , Num (..)
  , everthing you want exported for your 'customized' prelude module goes in this list
  ) where

Я перечитал ваш вопрос и некоторые из ваших комментариев, и я думаю, что ближе всего вы можете получить то, что хотите, что-то вроде этого:

module MyList
  (
    module Data.Foldable,
    MyList(..)
  )
where


import Data.Foldable
import Prelude (($))


data MyList a = MyList [a]

instance Foldable (MyList) where
    foldr f b (MyList as) = foldr f b as

по сути, MyList реэкспорт на Data.Foldable module, так что кому-то, использующему ваш модуль, не придется импортировать данные.Снова складывается, но..... ей придется скрыть некоторые функции от Prelude.

module Main (main) where


import Prelude hiding (foldr)
import MyList


mySum :: MyList Int -> Int
mySum = foldr (+) 0

main :: IO ()
main = putStrLn . show . mySum $ MyList [1,2,3]

ИМХО, это хорошо. Вы не должны решать, как и то, что кто-то импортирует в свою модули.