This is orthogonal to that. Interfaces are types, implementations are lambda bodies. There you go.

Funny but an aim of FP is composable flow as well?

With even more suitable for LLM types and "contracts at the edges".