Why not `OneWayFunction[K, Hash128]` here?