Agda.TypeChecking.DropArgs

Dropping initial arguments to create a projection-like function

class DropArgs a