Agda.Auto.CaseSplit
data HI a
type CSPat o
type CSCtx o
data CSPatI o
type Sol o