module Pandora.Pattern.Functor.Extractable where import Pandora.Pattern.Functor.Covariant (Covariant) class Covariant t source source => Extractable t source where {-# MINIMAL extract #-} extract :: source (t a) a