Int は最もよく利用する型なのでパフォーマンスも求められると思います。 BinaryInteger として existential で扱うのは許容できないかと。たとえば、 count は Int を返しますが、これは整数を表していると思います。しかし、これが BinaryInteger になるのは許容できないのではないかと。