stefansteve1999@tg
says to
YSITD
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system