1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module ShouldCompile where import Ind2_help(C(..)) zipT :: (C a, C b) => T a -> T b -> T (a,b) zipT x y = mkT (unT x, unT y)