I <3 linear types. Also just thought I'd say hello from over in NSH. :)