Moves reify method out of monad for exact inference.