pure funcを型レベルで保証するのってこの辺の話だっけ