---------- Forwarded message ---------
보낸사람: Dannyu NDos <ndospark320@gmail.com>
Date: 2020년 5월 8일 (금) 16:35
Subject: Re: Give alternate default definition for (<=)
To: Sven Panne <svenpanne@gmail.com>

2020년 5월 8일 (금) 15:33, Sven Panne <svenpanne@gmail.com>님이 작성:

Eq is a superclass of Ord, so how do you define that for Computable?

instance Eq Computable where

x == y = x <= y && y <= x