型システム入門

https://gyazo.com/75861d4f439c8b0775ab628aa3ccadfa