type family FIndex (r :: Symbol) (rs :: [(Symbol, Schema)]) :: Nat where ...

class FElem fn rs i