:- module mx.
:- interface.

:- import_module my.

:- instance my.k(int).

:- implementation.

:- instance my.k(int) where [].
