zero :: TyRep X a -> IT a
zero x = case x of
            TFnApp TID a -> undefined
zero :: TyRep X a -> IT a
zero x = case x of
            TFnApp TID a -> undefined
zero x = case x of
            TFnApp TID a -> undefined