BadKindVar.hs:8:19: error:
    Unexpected kind variable ‘k’
    Perhaps you intended to use PolyKinds
    In the type signature for ‘f’