1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 {-# OPTIONS_GHC -Wno-missing-signatures #-}
4 module Examples.Ex05 where
8 import Examples.Ex03 qualified as Ex03
9 import Examples.Ex04 qualified as Ex04
22 { model03 :: Ex03.Model
23 , model04 :: Ex04.Model
28 { model03 = Ex03.model1
29 , model04 = Ex04.model1