module test

:: TypeT1 m a = Ty1 (m a)
:: TypeT2 m a = Ty2 (m a)

:: Ident a = Ident a

:: Type2 a :== TypeT2 Ident a

//Not allowed
:: ShortHand a :== TypeT1 Type2 a
//Allowed
//:: ShortHand a :== TypeT1 (TypeT2 Ident) a

Start = 42