:- module bug.
:- interface.

:- type foo.

:- implementation.

:- type foo == maybe(int).