Capture Checking in Scala