<> newtype T1 = ?shape( // TODO: ?operator (? not captureable at the moment) ?'int' => int // ^ operator ); <> // ^ attribute type T2 = (function(T1): string); // ^ type // TODO: keyword.function (currently not in AST) <> newtype T3 as int = int;