module Pandora.Paradigm.Controlflow.Joint.Interpreted (Interpreted (..)) where

class Interpreted t where
	{-# MINIMAL unwrap #-}
	type Primary t a :: *
	unwrap :: t a -> Primary t a