Data.Derive.Is
makeIs