1 2 3 4 5 6 7
{-# LANGUAGE MultiParamTypeClasses #-} module B where import A newtype Val = Val [Int] instance Matrix Bool Val