ので、違う型システムに変換してる以上、100%の保証をするのは無理筋なのである程度の妥協があった方が良いとは思います (edited)