Functional IDE revelations