module ShouldSucceed where

data Twine = Twine2 Twist

data Twist = Twist2 Twine

type F = Twine