-- Prerequisites
import Category.Instance.Properties.Sets.Cartesian
import Category.Instance.Properties.Sets.Cocartesian

-- Higher Order GSOS Law
import HOGSOS

-- Examples
--- Signature Functors in Set (Preliminary for the examples)
import Example.Signature
--- Combinatory Calculus (SKI)
import Example.Combinatory