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

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
module A where

class Matrix a fa | a -> fa where
    row :: [a] -> fa