module Pandora.Paradigm.Structure.Modification.Prefixed where

import Pandora.Paradigm.Schemes (type (<::>))
import Pandora.Pattern.Operation.Product ((:*:))

type Prefixed t k = t <::> (:*:) k