/prog/ is moving slowly

so I will write fictional nonsensical Haskell code with nice Unicode

— Computes the anus of y
x :: Num a ⇒ a → a
x = λy·y×(y÷2)

— Charlie Brown
foo :: String → String
foo x = case lookup “x” x of
                 Just y → y
                 Nothing → x

>>4
Is that simply SKI calculus with S renamed to a, K renamed to b and I renamed to c?