aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/OverlappingInstances/foldable-ranger-overlappable.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TypeOperators #-}

module OverlappingInstanceRangeR where

data RangeR a b = NilR | (RangeR a b) :++ b

instance {-# OVERLAPPABLE #-}
        Foldable (RangeR 0 (m - 1)) => Foldable (RangeR 0 m) where
        foldr (-<) z = \case NilR -> z; xs :++ x -> foldr (-<) (x -< z) xs