FP Complete showing the type of a expression