#cat := class:
# Name:string
# Sound:string
MakeCat1<constructor>(name:string, sound:string) := cat:
Name := name
Sound := sound
MakeCat2(name:string, sound:string):cat = cat:
Name := name
Sound := sound
cat := MakeCat2<constructor>("foo","boo")
can be compiled.