What FP Can Learn From Static Introspection