process fn (CaseSplitAt updatefile l n)
    = caseSplitAt fn updatefile l n
process fn (CaseSplitAt updatefile l n)
    = caseSplitAt fn updatefile l n
process fn (CaseSplitAt updatefile l n)
    = caseSplitAt fn updatefile l n