Amb in haskell

Amb.hs

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Amb where

import Control.Monad

newtype Amb a = Amb { unAmb :: [a] }
  deriving(Monad)

safeHead :: [a] -> Maybe a
safeHead (x:_) = Just x
safeHead _     = Nothing

executeAmbigiously :: Amb a -> Maybe a
executeAmbigiously = safeHead . unAmb 

amb = Amb

ex1 :: Amb (Int, Int)
ex1 = do
  x <- amb [1, 2, 3]
  y <- amb [4, 5, 6]
  unless (x*y == 8) $ amb []
  return (x, y)

main = print $ executeAmbigiously ex1