List<Defi<M>> export<M>() { switch (M) { case const (MPI): return _mpi.values.toList() as List<Defi<M>>; default: throw Exception('unknown macro: $M'); } }