🇨🇳

emmettng

🇨🇳

That's the way it works / not because it is better / it's because the way it works defines what it is

emmettng / Univ.hs

Created August 27, 2023 22:36 — forked from sjoerdvisscher/Univ.hs

Universal properties with plain Control.Category

	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE StandaloneKindSignatures #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE UndecidableInstances #-}