more work on eyre-stuff -- compiles