T6039.hs:5:14:
    Kind variable ‛j’ cannot appear in a function position
    In the kind ‛j k’