(TermStream m (Z :. pos) (TermSymbol M Deletion) (Elm (Term1 (Elm ls (Unit i))) (Z :. Unit i)) (Z :. Unit i), posLeft ~ LeftPosTy pos Deletion (Unit i), TermStaticVar pos Deletion (Unit i), MkStream m posLeft ls (Unit i)) => MkStream m (pos :: Type) (ls :!: Deletion) (Unit i) Source # | |

## Instance details |

TermStaticVar (IStatic d :: Type) Deletion (Unit I) Source # | |

## Instance details |

(TermStreamContext m ps ts s x0 i0 is (Unit I), Monad m, TermStream m ps ts (Elm x0 i0) is) => TermStream m (ps :. p :: a :. b) (TermSymbol ts Deletion) s (is :. Unit I) Source # | |

## Instance details |