let
abs =
Fun
(
Abs
)