Kind a b is refactored to (SF a, SFKind b)