Learning how to program in Frege, a port of Haskell on the JVM