internalな変数なら実装都合の型が露見しても良いってことですかね (edited)