Control.Monad.Operational.TH & Revive fundeps