Eleanor, OFS, OFS / idris-kata