example for recursive import

[Christian Maeder]

Serge D. Mechveliani wrote:
> I do not know. Will the source look natural?

That depends on g and h, a generalization can look natural or artifical.

> Can you explain this more precisely: what to change in  f, g, and h
> ?
> Let it be  f, g, h  :: Int -> Int.

new situtation:

module F where
import G
import H

f :: Int -> Int

f x = ... g f (... x ...) ... h f (... x ...)

module G where

g :: (Int -> Int) -> Int -> Int

g f x = ...

module H ...