GhcModExe.FillSig
sig
refine
auto