working a bit more through the type checker.