Determinable.hs

module Pandora.Pattern.Functor.Determinable (Determinable (..)) where

import Pandora.Pattern.Functor.Contravariant (Contravariant)

class Contravariant t => Determinable t where
	{-# MINIMAL determine #-}
	determine :: t a