[clean-list] Black Screen: lift (TFA) (unitype.icl)

[Vag]

For once something new:

module test

Start = test

:: A i = A i
:: B :== A.i: A i

test :: [B]
test = []

gives

    lift (TFA) (unitype.icl)

on dreadful black screen.