import "Prelude"

class Container c a b | c -> a, c -> b where
    get :: c -> a -> b

instance Container [a] Integer a where
    get = (!)

main = get [1,2,3,4,5] 3
--
4