Functional Finllay