:- module mod1.

:- interface.

:- type dummy.

:- func fun = dummy.

:- implementation.

:- type dummy2.

:- type dummy ---> dummy(dummy2).

:- type dummy2 ---> dummy2.

fun = dummy(dummy2).