#ifndef __OPERATION_HPP__
#define __OPERATION_HPP__

namespace Op {
    template<typename... Args>
    struct pack {};

    template <
        class I,
        class O,
        typename = typename I::args,
        typename = typename O::T1,
        typename = typename O::T2>
    class _Operation;

    template <
        class I,
        class O,
        typename... Args>
    class _Operation <I, O, pack<Args...>, typename O::T1, typename O::T2>{
    public:
        typedef I input_t;
        typedef O output_t;
    };

    template <
        class I,
        class O>
    using Operation = _Operation<I, O>;

}

#endif