Eugene W. Myers Efficient Applicative Data Types. 66-75 1984 POPL db/conf/popl/popl84.html#Myers84