DACRT reference solution works.
BVH example type checks.  Doesn't fully compile.