Adding two concerns to discussions: syntax sugar and type-level programming