4-file GHC bug

Rec.hs

{-# LANGUAGE DisambiguateRecordFields #-}

import Rec3
import Rec2

bug = AnDouble{an=1}

Rec2.hs

{-# LANGUAGE TypeFamilies #-}

module Rec2 where

import Rec4

data instance An Double = AnDouble {an :: Double}
    deriving Show

Rec3.hs

{-# LANGUAGE TypeFamilies #-}

module Rec3 where

import Rec4

data instance An Int = AnInt {an :: Int}

Rec4.hs

{-# LANGUAGE TypeFamilies #-}

module Rec4 where

data family An c :: *