@@ -144,7 +144,7 @@ type family Size f :: Nat where
144 Size (l :*: r)
144 Size (l :*: r)
145 = Size l + Size r
145 = Size l + Size r
146 Size (l :+: r)
146 Size (l :+: r)
147− = Size l + Size r
147+ = Min (Size l) (Size r)
148 Size (D1 meta f)
148 Size (D1 meta f)
150 Size (C1 meta f)
150 Size (C1 meta f)