:- module pragma_type_spec_r.

:- interface.

:- import_module io.

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

:- implementation.

:- import_module list, pragma_type_spec_r_2.

main -->
	{ List = f([1, 2, 3], [4, 5, 6]) },
	io__write(List),
	io__nl.

