Ok yesterday's #adventofcode taught me a bit more about f# pattern matching. But demonstrated that there's a lot more to learn about type inference. I battled a lot to make sure the types were inferred correctly everywhere. Feels like I should have been able to specify types.