A instance is like an Interface for a Haskell Typeclass. Inherits existing props from the Haskell Class

Syntax

instance TypeClass [Type] where
	function_defn_one
	function_defn_two
	...

Example

data Role = Crewmate | Impostor deriving (Show, Eq)
 
class Sus a where
	isSus :: a -> Bool
	isSafe :: a -> Bool
	
	isSus entity = not (isSafe entity)
	isSafe entity = not (isSus entity)
 
instance Sus Role where
	isSus Crewmate = False
	isSus Impostor = True
 
instance YesNo instance where
	yesno 0 = False
	yesno _ = True