lambda_continuous_monad.cpp

#include <iostream>
int main() {
    auto List ([](auto ...params) {
        return [=](auto f) {
            return f(params...);  
        };
    });
    
    auto Tail ([=](auto f) {
        return f([=](auto p, auto ...rest) {
            return List(rest...); 
        });    
    });
    
    auto ListLength([](auto list) {
        return list([](auto ...params) { return sizeof...(params); });    
    });
    
    std::cout << ListLength(Tail(List(1, 2, "abcde", 4))) << '\n';  // 3
}