1module Main where
2
3import Prelude
4import Data.Eq (class Eq1)
5import Effect.Console (log)
6
7data Product a b = Product a b
8
9derive instance eqMu :: (Eq a, Eq b) => Eq (Product a b)
10derive instance eq1Mu :: Eq a => Eq1 (Product a)
11
12main = log "Done"
13