(f >> (x -> x) >> g) 7
. f = | 7 -> "cat" ++ m
        , m = "?"
      | 4 -> "dog" ++ n
        , n = "!"
      | _ -> "shark"
. g = | "cat" -> "kitten"
      | "dog" -> "puppy"
      |   a   -> "baby " ++ a