toString should resolve, it does in deftype