let
pp_term = pretty
#
alpha pretty
#
pp_term