let, where, adt declarations, Show