Bootstrapping one−sided flexible arrays - Hinze, R (Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02), 2002)