FRP.Reactive.Internal.TVal
type b :--> a
type b :+-> a