スタック領域専用のスライス型と動的領域専用のスライス型を用意して
汎用のスライス型との間で暗黙の変換ルールを定めればいいわけだな