FRP.Reactive.Internal.TVal

type b :--> a

type b :+-> a

makeEvent