the type system has gotten in my way for the first time in a long time