newtypes with higher-kinded type variables give a strange error

newtypes with higher-kinded type variables give a strange error.

e.g.:

T.dcl:

definition module T
:: T0 m a =: T0 (m a)

T.icl:

implementation module T

When compiling gives the following error:

Error [T.dcl,3,T0]: m attribute variable not allowed