summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc033.hs
blob: 7111d75a4eea04d3271cab22ee2dccd3a02594c1 (plain)
1
2
3
4
5
6
7
module ShouldSucceed where

data Twine = Twine2 Twist

data Twist = Twist2 Twine

type F = Twine