Archived tweet #9555 from the @leastfixedpoint Twitter Archive

@Blaisorblade @prathyvsh Yeah, those are the lines I was muddling along. Something like "prefer functions of [a] -> [a] to functions of [[a]] -> [[a]]", I suppose - one layer of structure at a time?