Edge cases around promotion ticks

[sheaf]

{-# LANGUAGE DataKinds, TypeOperators #-}

module Promotion where

data AB a b = CD a b

data (:&) a b = (:<) a b

f :: proxy ( 'CD a b ) -> proxy ( a '`CD` b )
f = id

g :: proxy ( '(:<) a b ) -> proxy ( a ':< b )
g = id

Among the four ticked examples, at the moment only the first one renders reasonably.

[sheaf]

Here's how this looks on my end after the fix in b73e41a: