Provide Control.Monad.FreeReflect.primitive function. Added another example.