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