Done errorhandling, ex 1 (variance)
errorhandling, ex 3 (lift via map2)
errorhandling, ex 4 (sequence)
errorhandling, ex 5 (traverse)