Clarified behaviour of record types and notation in Control.Monad.Free.TH.