default arguments now have implicit Optional[T] type