Think about making some statements data structures.

For example, the following could be interesting:

```
    using Statement = if_<true_, struct Then, struct Else>;
    using Then = front<Statement>::type;
```

Basically, we could treat some metafunctions as data structures, which would enable us to introspect them.
