Next step would then be FP<->Imperative.. Beginning with the static ones?

For dynamic it would require introspection...