type int = number;

type float = number;

type type_handler<type_value> = (
	(type_value)
	=>
	void
);