Handle default-requiredness #1
Description
Maybe something like:
type Write a = a
type Read a = Maybe a
data X_Args f = { .. .f Bool }
{{ message }}
Maybe something like:
type Write a = a
type Read a = Maybe a
data X_Args f = { .. .f Bool }