-- | Pure behaviors can be unwrapped and treated as impure behaviors
unwrapPure :: PureB b x y -> b x y
unwrapPure (PB f) = f
unwrapPure :: PureB b x y -> b x y
unwrapPure (PB f) = f
unwrapPure (PB f) = f