:- module bug2.

:- interface.

:- type a ---> a(b).

:- implementation.

:- type b ---> b(int).