AsRef
Glue rvTYPE  MonadGlue rvType
rename PtrSV PtrAV PtrHV PtrCV -> SV AV HV CV