Koji Miyazato viercc

An unemployed smartass. Loves to be correct. Hardly is.

viercc / InfiniteHigherOrderEffect.hs

Last active December 18, 2023 06:37 — forked from ymdryo/SFunctor.hs

	{-# LANGUAGE GHC2021 #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE PolyKinds, DataKinds #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE DerivingVia #-}
	{-# LANGUAGE UndecidableInstances #-}
	module InfiniteHigherOrderEffect where

	import Data.Kind (Type)
	import Data.Functor.Contravariant (Contravariant)

viercc / IApplicativeQuestionMark.hs

Created September 19, 2018 11:33 — forked from phadej/IApplicativeQuestionMark.hs

	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE TypeOperators #-}

	-- For the "Another take"
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE FunctionalDependencies #-}

viercc / Main.hs

Last active December 15, 2017 12:21 — forked from anonymous/Main.hs

GHC 8.2.2 allows bang patterns in let binding without -XBangPatterns