Yet Another Language YAL is a prototype of a functional programming language with refinement types, whose dependency is restricted to special index sorts.