型推論、クロージャー、バリアント、ファンクター...が美しい条件なの?