isNothing' = not . isJust'

mayybee :: b -> (a -> b) -> Maybe a -> b
mayybee x f y = fromMaybe x (f <$> y)

fromMaybe' :: a -> Maybe a -> a
fromMaybe' x Nothing   = x
fromMaybe' _ (Just x') = x'

data BinaryTree a =
  Leaf