
28 Aug
2015
28 Aug
'15
9:27 a.m.
Re: http://repetae.net/recent/out/classalias.html Prelude> :set -XConstraintKinds Prelude> class C a; class D a; type E a = (C a, D a); instance E a => C (Maybe a) https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/constraint-k... - J.W.