public override void Write(CodeBuffer buf)
{
buf.Append("case ").Append(Exp).AppendLine(" of");
buf.Indent();
foreach (var(pred, body) in Cases)
{
buf.Append(pred).AppendLine(" ->");
buf.Indented(() => buf.AppendLine(body));
}
buf.DeIndent();
}