Functions with Type Transformer and Syntax