Aha! Excellent, thank you. For me refinements are a bit like meta-programming; I'm glad they exist but I think there's other ways to get the same result which

Aha! Excellent, thank you. For me refinements are a bit like meta-programming; I'm glad they exist but I think there's other ways to get the same result which are easier to live with.