let
field_of finfo =
Fmap
.find finfo (snd (
Record
.obtain finfo.fcomp))