{-# OPTIONS --cubical --safe --guardedness #-}

module Data.PolyP where

open import Data.PolyP.RecursionSchemes public
open import Data.PolyP.Universe public
open import Data.PolyP.Composition public
open import Data.PolyP.Types public
open import Data.PolyP.Currying public