✍️

Joseph Abrahamson tel

✍️

tel / MutuallyDefined.hs

Last active April 20, 2023 06:34 — forked from gallais/MutuallDefined.hs

Mutually defined data types with recursion principle

	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeOperators #-}

tel / curry.hs

Created December 12, 2013 16:29 — forked from NathanHowell/curry.hs

	{-# OPTIONS_GHC -fno-warn-orphans #-}
	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DeriveFoldable #-}
	{-# LANGUAGE DeriveTraversable #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	{-# LANGUAGE NamedFieldPuns #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE StandaloneDeriving #-}