deemp · February 12, 2023 07:11
diff --git a/A.hs b/A.hs
 module A (P(..)) where
 data P = MkP
diff --git a/A1.hs b/A1.hs
 {-# LANGUAGE DataKinds #-}

 module A1 (MkP1) where

 import A (P(..))

 type MkP1 = MkP
diff --git a/A2.hs b/A2.hs
 {-# LANGUAGE DataKinds #-}

 module A2 (MkP1) where

 import A (P(..))

 type MkP1 = MkP
diff --git a/B.hs b/B.hs
 module B where

 import A1(MkP1)
 import A2(MkP1)

 -- must disambiguate
 type M = A1.MkP1