いや、ちがうか？ expression type '(_) -> _' is ambiguous を見てそうおもったけどなんかコンパイルエラーになってる？