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