extract
from Comonad型クラス
Comonadから値を取り出す
returnに対応してる
code:hs
return :: a -> m a
extract :: w a -> a