(no subject)

There is a deep mathematical sense in which any non-pathological function of type (a,b) -> a must do exactly what fst does.