1 2 3 4 5 6 7
module ShouldSucceed where data Twine = Twine2 Twist data Twist = Twist2 Twine type F = Twine