MIDA 0.2.0 without metaprogramming