Change the syntax: Brackets instead of parents for type applications and remove the backquote for variants