Vinyl.hs

import Data.Vinyl
-- import Data.Vinyl.Functor

type LifeForm a =
    "name"     ::: String
  : "age"      ::: Int
  : "sleeping" ::: Bool
  : a

type LifeForm' a = FieldRec (LifeForm a)

jon :: LifeForm' '[]
jon = #name =: "jon"
   :& #age =: 23
   :& #sleeping =: False
   :& RNil

tucker :: LifeForm' '["master" ::: LifeForm' '[]]
tucker = #name =: "tucker"
      :& #age =: 9
      :& #sleeping =: True
      :& #master =: jon
      :& RNil

wakeUp
  :: HasField record "sleeping" fs Bool
  => record ElField fs
  -> record ElField fs
wakeUp = rputf #sleeping False

jon' :: LifeForm' '[]
jon' = wakeUp jon

tucker' :: LifeForm' '["master" ::: LifeForm' '[]]
tucker' = wakeUp tucker