Numeric.Estimator.Class
class Estimator t
type family State t :: * -> *
type family Var t
class Process t
class Measure t
class GaussianFilter t