Simplify PrimLoop and implement andThen at the free-monad level