I think it’s probably not too hard to add support recursive definitions in ppx_variants_conv, but for now, you can probably work around by unwrapping the recursion:
type 't t'' = | Point of 't | Line of int * int [@@deriving variants]
type t = t' t'' and t' = Pair of t * t