[clean-list] uniqueness attribute derivation/specification inconsistency

[TK]

For example

labelControl name control =
	LayoutControl
		(	TextControl name []
		:+:	control
		)
		[ ControlHMargin 1 1 , ControlVMargin 1 1 , ControlItemSpace 0 0 ]


Compiler derives

labelControl :: {#.Char} (a .b .c) -> (LayoutControl (:+: .TextControl
.a) .b .c)

which when specified, gives

Error [GUI.icl,_,labelControl]: a inconsistently attributed (5)


Though it works with

labelControl :: {#Char} (a b c) -> LayoutControl (:+: TextControl a) b c