{-# RULES "rd_tyvs" forall a. forall (x :: a). id x = x #-}

{-# RULES "rd_tyvs'" forall f a. forall (x :: f a). id x = x #-}

{-# RULES "rd_tyvs''" forall (a :: *). forall (x :: a). id x = x #-}

{-# RULES
"rd_tyvs_multiline1" forall (a :: *). forall (x :: a).
    id x =
        x
    #-}

{-# RULES
"rd_tyvs_multiline2" forall
    ( a ::
        *
    ). forall
    ( x ::
        a
    ).
    id x =
        x
    #-}