skipLambda n (ELam te e) es
  | n <= length te              = Just (ELam te1 (eLam te2 (EAp e es)))
  where (te1,te2)               = splitAt n te
skipLambda n (ELam te e) es
  | n <= length te              = Just (ELam te1 (eLam te2 (EAp e es)))
  where (te1,te2)               = splitAt n te
skipLambda n (ELam te e) es
  | n <= length te              = Just (ELam te1 (eLam te2 (EAp e es)))
  where (te1,te2)               = splitAt n te