Simplify this to leave out the underlying `ElF_` type family substrate and just do it directly with the defunctionalized version.