t		-> (tc [th]) | d_\(    :: b ^ __ 3r ;