seqType (ForAllTy tv ty)  = seqType (tyVarKind tv) `seq` seqType ty
seqType (ForAllTy tv ty)  = seqType (tyVarKind tv) `seq` seqType ty
seqType (ForAllTy tv ty)  = seqType (tyVarKind tv) `seq` seqType ty