Haskell minigame: check solvability of a maze

Question

check :: String -> Int -> Int -> IO()
check map len n = do
    let current = searchMap map \'@\'
    let solvable = try map current Rightx len n
    if solv