@davetchepak (type T = T1 of U | T2 of U) ≅ (type T = T of U * bool)
-
-
Replying to @davetchepak
@davetchepak You can just pair it with bool right? Or use a sum type.1 reply 0 retweets 0 likes -
-
Replying to @dibblego1 reply 0 retweets 0 likes
-
Replying to @davetchepak
@davetchepak class ContraId a where getId :: a -> Id1 reply 0 retweets 0 likes -
Replying to @davetchepak
@davetchepak data ContraId a = ContraId (forall a. a -> Id)2 replies 0 retweets 0 likes
Replying to @davetchepak
@davetchepak interface ContraId<A> { Id contra(A a); }
8:17 PM - 28 Oct 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.