traceFamily implementation, monad class constraint implementation of parent and grandparent methods