Consider renaming PerasEnabled #189
Description
Several people already got confused by this Maybe-isomoprhic type, so we should consider renaming it to something better, e.g. GivenPerasEnabled, or WhenPerasEnabled.
{{ message }}
Several people already got confused by this Maybe-isomoprhic type, so we should consider renaming it to something better, e.g. GivenPerasEnabled, or WhenPerasEnabled.