ghc-exactprint-0.5.3.1: tests/examples/ghc80/T10570.hs

{-# LANGUAGE FunctionalDependencies, PolyKinds, FlexibleInstances #-}

module T10570 where

import Data.Proxy

class ConsByIdx2 x a m cls | x -> m where
    consByIdx2 :: x -> a -> m cls

instance ConsByIdx2 Int a Proxy cls where
    consByIdx2 _ _ = Proxy