let
fi_slices fi = fi.
T
.fi_slices