Type inference for plain data (by Gabriella439) — discussion

#plt