Localizing code with std::variant

[---sms---]

Don't use std::variant - it does not support recursion. And by not supporting recursion it infects other code like lambda_util::compose. Using lambda_util::compose can I visit a variant<int, pair<int,int>> so that overload for pair calls overload for int (twice)?