:- module my.
:- interface.

:- typeclass k(T) where [].
