{-# OPTIONS --safe --without-K #-} 

module Generics.Reflection where

open import Generics.Reflection.Telescope  public
open import Generics.Reflection.Datatype   public
open import Generics.Reflection.Connection public
open import Generics.Reflection.Recursion  public
open import Generics.Reflection.Uncurry    public