With `builtins.functionArgs` we can get some information if the first argument is an attrset and whether the contained fields have default values. Encode that into the pretty-printed lambda.
`toPretty` implements a pretty printer for nix values.
isStorePath