fromParams :: ParamInfo a -> SSystem a
fromParams space = SSystem (toOde space) len where
  len = length (alphas space)
  toOde ParamInfo {..} = Seq.fromList $
    zipWith4 SODE
      alphas
      (map Seq.fromList posExps)
      betas
      (map Seq.fromList negExps)
fromParams :: ParamInfo a -> SSystem a
fromParams space = SSystem (toOde space) len where
  len = length (alphas space)
  toOde ParamInfo {..} = Seq.fromList $
    zipWith4 SODE
      alphas
      (map Seq.fromList posExps)
      betas
      (map Seq.fromList negExps)
fromParams space = SSystem (toOde space) len where
  len = length (alphas space)
  toOde ParamInfo {..} = Seq.fromList $
    zipWith4 SODE
      alphas
      (map Seq.fromList posExps)
      betas
      (map Seq.fromList negExps)