countLeaves :: DataPat c tc tv -> Int
countLeaves (DPCon _ ts) = sum (countLeaves <$> ts)
countLeaves :: DataPat c tc tv -> Int
countLeaves (DPCon _ ts) = sum (countLeaves <$> ts)
countLeaves (DPCon _ ts) = sum (countLeaves <$> ts)