I needed to uncurry the [fn] type, so that type inference infers first that the generalized variables are lifetimes, before typechecking the external lifetime contexts.
