How can we represent data or algos such that such optimisations before more obvious?