imports cleaned
ByteArrayMonoid