--- a/progs/app05.scala	Wed Oct 21 16:09:44 2020 +0100
+++ b/progs/app05.scala	Sat Oct 24 13:02:18 2020 +0100
@@ -12,7 +12,6 @@
   }
   ...
 }
-
 def F_RIGHT(f: Val => Val) = (v:Val) => Right(f(v))
 def F_LEFT(f: Val => Val) = (v:Val) => Left(f(v))
 def F_ALT(f1: Val => Val, f2: Val => Val) =