Fish Wang says to YSITD
type maybe<t> = t|undefined