Leadership [tags] :: A misunderstood type-driven functional programming quantitative researcher and developer