Franklin Chen FranklinChen

Human.

thoughtpolice / algebras.hs

Last active December 10, 2015 08:58

Initial algebras and final coalgebras

	{-# LANGUAGE RankNTypes, DeriveFunctor #-}
	{-# LANGUAGE FlexibleInstances, TypeSynonymInstances #-}
	module Main where
	import Criterion.Main (defaultMain, bench, bgroup, nf)

	--------------------------------------------------------------------------------
	-- Fixed points of a functor

	newtype Mu f = Mu { muF :: f (Mu f) }

jvranish / valueLevelClasses.hs

Created May 2, 2012 17:28

An experiment with mixing value level typeclasses and implicit parameters

	{-# LANGUAGE Rank2Types
	, RebindableSyntax
	, ImplicitParams
	, NoMonomorphismRestriction #-}

	import Data.Maybe
	import Data.Function
	import Data.String
	import Prelude (undefined, error, String, (++))