TypeScriptみたいなド型とHaskellの型システムを一緒にしないでくれる?