sprinkler_posterior :: MonadBayes m => Weighted m Bool
sprinkler_posterior = duplicateWeight sprinkler
sprinkler_posterior :: MonadBayes m => Weighted m Bool
sprinkler_posterior = duplicateWeight sprinkler
sprinkler_posterior = duplicateWeight sprinkler