instance typeSelector Bool where typeSelector = c ".b"
instance typeSelector a where typeSelector = c ".w"
-read` :: Int (ReadWrite a) State -> (a,State) | dyn a
+read` :: Int (ReadWrite a) State` -> (a,State`) | dyn a
read` n Rd s = (fromJust (fromDyn (s.store !! n)), s)
read` n (Wrt a) s = (a,{s&store=updateAt n (toDyn a) s.store})
read` n (Updt f) s=:{store}