nonrec works! huzzah