It would be good to show how to do this, even if we don't have an efficient implementation yet (#214).