FRP.Reactive.Behavior
data BehaviorG tr tf a
type Behavior
type Behaviour