let
get_fi_kf fi = fi.
T
.fi_kf