:- module change_type_nr.

:- interface.

:- import_module io.

:- pred main(io__state::di, io__state::uo) is det.

:- implementation.

:- import_module change_type_nr_3.

main -->
	io__write(a `with_type` foo),
	io__nl.

