Safe Haskell | None |
---|
Documentation
Typed binding pair, parameterized by variable and node type constructors.
forall a . IsTyConstraint ty a => Bind (V ty a) (n (V ty) a) |
Safe Haskell | None |
---|
Typed binding pair, parameterized by variable and node type constructors.
forall a . IsTyConstraint ty a => Bind (V ty a) (n (V ty) a) |