Helper module for converting Procedure.
Procedure
{ get : a -> Maybe b , set : b -> a -> a }
Use to convert shared memory types.
compose : Lifter a b -> Lifter b c -> Lifter a c
cond : Lifter a b -> (b -> Basics.Bool) -> a -> Basics.Bool