:set -XNoStarIsType
:load T20531_defs
:kind! L0
:kind! L1
:kind! L2
:kind! Tup0
:kind! Tup2
:kind! S
:kind! I
data MkT    -- introduce ambiguity
data a :& b -- introduce ambiguity
:kind! L0
:kind! L1
:kind! L2
:kind! Tup0
:kind! Tup2
:kind! S
:kind! I