:- module eqv_instance.
:- interface.

:- typeclass tc(T) where [].

:- implementation.

:- import_module list.

:- type list_int == list(int).

:- instance tc(list_int) where [].