https://yakkun.com/tool/type_checker.htm#!env3!1195---89_587-17/965--236-136_762_389_441-/831---664-/149---814_89-8/1193---56_586-7/1178---889_247_411-2
