Add in fst definition for rebuilding types