e_if :: Entity
e_if = Entity "if" (TBool ->> a ->> a ->> a) defaultFixity $
  VFun $ \(VBool (RBool p)) ->
    VFun $ \x ->
      VFun $ \y -> if p then x else y
e_if :: Entity
e_if = Entity "if" (TBool ->> a ->> a ->> a) defaultFixity $
  VFun $ \(VBool (RBool p)) ->
    VFun $ \x ->
      VFun $ \y -> if p then x else y
e_if = Entity "if" (TBool ->> a ->> a ->> a) defaultFixity $
  VFun $ \(VBool (RBool p)) ->
    VFun $ \x ->
      VFun $ \y -> if p then x else y