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