First-class function signatures + Implicit interfaces