xor :: Bool -> Bool -> Bool
xor True  = not
xor False = id