module A where

    import MyState

    data A a = A (StateT MyState IO a) deriving (...)

Now there is a module MyState:

    module MyState where

    import SomeType

    data MyState = MyState { st :: SomeType, ... }

Finally the module that introduces cyclic dependency:

    module SomeType where

    import A

    data SomeType = SomeType { f :: A (), ... }

I have been suggested to move the types into one module and then import it wherever needed. But the problem is that even if I put them into one file those three data types still form a cyclic dependency and compiler throws errors saying "i don't know about this"

So if I have a single module:

    data A a = A (StateT MyState IO a) deriving (...)

    data MyState = MyState { st :: SomeType, ... }

    data SomeType = SomeType { f :: A (), ... }

With this setup the compiler is gonna tell us it doesn't know about MyState. And no matter how we shuffle these types within a file we are still getting some "unknowns"

How would one approach such a problem? 

Best regards,

Konstantin