Added PolyKinds test case if GHC >= 7.4