RegAlloc.Linear.State
data RA_State
data RegM a