In order to understand the haskell lens library better, I recently dug into some of the underlying types involved. The lens library is infamous for having a reputation of “works well, but the types are horrific”. So I decided to see how complicated they really were and whether I could make sense of them.

A great filter is anything that prevents nonliving matter from becoming living matter that undergoes evolution until it is smart enough and capable enough to colonize the entire galaxy, and possibly further. Presumably, life is subject to one or multiple of these filters, since otherwise we would expect the galaxy to be teeming with life.

People often make suboptimal decisions, based on their biases, laziness, or whims. These decisions then constrain their future actions, whether they intended that or not.