1 2 3 4
T6039.hs:5:14: Kind variable âjâ cannot appear in a function position In the kind âj kâ