:- module not_abstract.
:- interface.

:- func init_foo = foo.

:- implementation.

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

init_foo = foo(0).