type Bad

mlbend-metrics@0.1.0.0 · main.bend:21

import Base

21type Bad is Data:
22  Mismatch{expected: Nat, got: Nat}
23  Empty{}