[im3w1l]

I want more syntax sugar for my ADTs that mirror what traits have. I don't need that kind of double extensibility.