14:27:07stassatsmethod congruence poses a problem for compile time gf types, say a method is processed and its type recorded, but on load it's found to be incongruent, so the type will be wrong
14:27:35stassatsnot having compile-file scoped type information hurts here