even better apply_tuple, began work on revamping function_traits
bam. bind. fully type-aware unpacking
trying to get lambdas working with bind