1{-# LANGUAGE MultiParamTypeClasses #-} 2 3class Test where 4 test :: Int 5 6instance Test where 7 test = 10 8 9 10resolve :: Int 11resolve = [wingman| use test |] 12 13