make :: forall c m dat conf b
     . ( Show c, Con.Check c m , Con.ConfigC c m 
       , Machine m dat conf 
       , Partial N.Computer ( N.Type c m ) b
       , Typeable b
       )
     => Con.Config c m
      ->  Make
make ( defcon :: Con.Config c m ) = 
    let t = "Machine.Numerical" ++ "." ++ Con.name defcon
    in Make N.Computer t
            ( \ ( conf :: Con.Config c m ) ->  Var 
                  { problem = N.Computer
                  , tag = t
                  , key = \ matrikel -> return matrikel
                  -- , gen = \ _vnr _manr key _cache -> fnum conf key 
                  , generate = \ salt cachefun -> fnum conf salt -- FIXME: cachefun ?
                  }
            )
            ( \ _con -> return () ) -- verify
            defcon
make :: forall c m dat conf b
     . ( Show c, Con.Check c m , Con.ConfigC c m 
       , Machine m dat conf 
       , Partial N.Computer ( N.Type c m ) b
       , Typeable b
       )
     => Con.Config c m
      ->  Make
make ( defcon :: Con.Config c m ) = 
    let t = "Machine.Numerical" ++ "." ++ Con.name defcon
    in Make N.Computer t
            ( \ ( conf :: Con.Config c m ) ->  Var 
                  { problem = N.Computer
                  , tag = t
                  , key = \ matrikel -> return matrikel
                  -- , gen = \ _vnr _manr key _cache -> fnum conf key 
                  , generate = \ salt cachefun -> fnum conf salt -- FIXME: cachefun ?
                  }
            )
            ( \ _con -> return () ) -- verify
            defcon
make ( defcon :: Con.Config c m ) = 
    let t = "Machine.Numerical" ++ "." ++ Con.name defcon
    in Make N.Computer t
            ( \ ( conf :: Con.Config c m ) ->  Var 
                  { problem = N.Computer
                  , tag = t
                  , key = \ matrikel -> return matrikel
                  -- , gen = \ _vnr _manr key _cache -> fnum conf key 
                  , generate = \ salt cachefun -> fnum conf salt -- FIXME: cachefun ?
                  }
            )
            ( \ _con -> return () ) -- verify
            defcon