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