Agda.TypeChecking.DropArgs
Dropping initial arguments to create a projection-like function
class
DropArgs
a