module ShouldSucceed where

type A a = B a

type B c = C

type C = Int