Skip to content

Instantly share code, notes, and snippets.

@UnkindPartition

UnkindPartition/polyconstraints-exercise.hs

Created May 31, 2017 09:07
Show Gist options
  • Save UnkindPartition/f6ad582472566d7c2be020ed257c31e1 to your computer and use it in GitHub Desktop.
Save UnkindPartition/f6ad582472566d7c2be020ed257c31e1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
polyconstraints-exercise.hs
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances,
TypeOperators, UndecidableInstances #-}
import Data.Constraint
import Data.Constraint.Forall
class C1 a b
class C2 a b
instance C1 a b => C2 a b
entl :: (Forall (C1 a)) :- (Forall (C2 a))
entl = _
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment