ubst :: Eq a => a -> a -> a -> a
subst from to source
      | from == source = to
      | otherwise = source

subst :: Eq a => a -> a -> a -> a
subst from to source
      | from == source = to
      | otherwise = source
subst from to source
      | from == source = to
      | otherwise = source