path: root/testsuite/tests/th/T20185a.hs

module T20185a where

data X = X { foo :: Y   }
data Y = Y { bar :: Int }

y :: Y
y = Y 1

x :: X
x = X y