lambda1@tg
says to
YSITD
type check is stronger than syntax check