:: Maybe String, kernel :: Maybe String, os :: Maybe String, de :: Maybe String, wm :: Maybe String, packages :: Maybe String, shell :: Maybe String, terminal :: Maybe String, uptime :: Maybe String, cpu :: Maybe String, cpuLoad :: Maybe String, memory :: Maybe String, disk :: Maybe String, battery :: Maybe String } deriving (Show) みなくていいよ! なにはともあれ、データ群を SysInfoというStateとして定 義し、右の画像の様にLens を用意することでデータ群を 状態としてもち回すことがで きる (怒涛のLens定義は Template Haskellという黒 魔術を使うと自動化できるら しい)