Избегайте явной передачи таблицы подстановки

В моей очень простой программе игрушек булевых выражений у меня есть следующая функция оценки:

eval' :: Expr -> M.Map Char Bool -> Bool

eval' (Const c) values = c

eval' (Var v)   values = M.findWithDefault False v values

eval' (Not x)   values = not (eval' x values)

eval' (And a b) values = eval' a values && eval' b values

eval' (Or  a b) values = eval' a values || eval' b values

eval' (Xor a b) values = eval' a values /= eval' b values

Мне было интересно, есть ли способ передать таблицу значений неявно? Может быть, с помощью Monads?

Я пишу сценарий PowerShell для выполнения определенных административных функций в IIS 7.5.

import-module WebAdministration

В некоторых случаях я знаю название веб-приложения, с которым я хочу работать, но не веб-сайт, на котором он находится. Получить приложение просто:

$app = get-webapplication -name 'MyApp'

Но я не могу понять, как получить название веб-сайта с приложением. Лучшее, что я мог придумать, это попытаться получить его по тестовому пути:

get-website | where {test-path "iis:\sites\$_.name\MyApp"}

По какой-то причине, что приходит пустой. Есть мысли, как это сделать? Заранее спасибо.