Control.Reference.TH.Monad