Using `Data.case` with generics - Effect Community