module MHS.Record(module MHS.Record) where

data Field (s::Symbol) = Field

class HasField (n :: Symbol) r a | n r -> a where
  getField :: Field n -> r -> a