- | Helper function to check whether a 'FieldDef' is immutable.
isValField :: FieldDef p -> Bool
isValField FieldDef{fmod} = fmod == Val

isValField :: FieldDef p -> Bool
isValField FieldDef{fmod} = fmod == Val
isValField FieldDef{fmod} = fmod == Val