:- module ho_map.

:- interface.

:- import_module io.

:- pred main(io__state::di, io__state::uo) is det.

:- implementation.

:- import_module list, int.

main -->  
	{ list__map(p, [1,2], X) }, 
	io__write(X),
	io__nl.

:- typeclass foo(T) where [
	pred p(T::in, T::out) is det
].

:- instance foo(int) where [
	pred(p/2) is blah
].

:- pred blah(int::in, int::out) is det.

blah(X, X+1).

