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

[Vag Vagoff]

John van Groningen wrote:
> A for all quantifier (A. var: ) can only be used at the beginning
> of the type of a function argument, constructor argument or field
> of a record. Not in a type synonym.
>
>   
Why then the following code causes same error message (TFA):

module SelfAppArgument

Start = a \ a = a

a :: (A.a:a -> a) -> (A.a:a -> a)
a a = a a

?