[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc033.hs

module ShouldSucceed where

data Twine = Twine2 Twist

data Twist = Twist2 Twine

type F = Twine