path: root/testsuite/tests/typecheck/prog001/B.hs

{-# LANGUAGE MultiParamTypeClasses #-}
module B where
import A

newtype Val = Val [Int]

instance Matrix Bool Val