module Let where

f
  : {A : Set}
  → A
  → A
f x
  = let
      y = x
      z = x
    in y