monoidal

Haskell does not have full-fledged dependent types. For example, there is no way to create naturals as a subset of integers. One way to side...

With a new powerful kind system in GHC, there are many lurking opportunities for expressive programming. Here's one. What is the kind ...

The idea of Safe Haskell is to control unsafe operations. Here is an alternative idea of implementation. Define a class > {-# LANGUAGE ...

The following is a way to compute 2+1 using the GHC type system. The ":kind!" command tells GHCi to display normalized version of ...

I extended the post on kind polymorphism to Omega, and I'm rather satisfied - I captured 10 different senses of monoids, used level pol...

Consider the following two functions: f :: () -> () f = const () g :: () -> () g = id Is there a way to write a function that tells th...

Take (or imagine) a blank sheet of paper. This is a plane. You can put points and vectors on it. A vector connects two points, but it is ...