kevinmeredith · November 13, 2014 01:26 · Nov 13, 2014
diff --git a/JoinList.hs b/JoinList.hs
@@ -0,0 +1,35 @@
+data JoinList m a = Empty
+                  | Single m a
+                  | Append m (JoinList m a) (JoinList m a)
+    deriving (Eq, Show)
+
+-- where `m` is a Monoid
+
+{-# LANGUAGE GeneralizedNewtypeDeriving, FlexibleInstances #-}
+module Sized where
+
+import Data.Monoid
+
+newtype Size = Size Int
+  deriving (Eq, Ord, Show, Num)
+
+getSize :: Size -> Int
+getSize (Size i) = i
+
+class Sized a where
+  size :: a -> Size
+
+instance Sized Size where
+  size = id
+
+-- This instance means that things like
+--   (Foo, Size)
+--   (Foo, (Bar, Size))
+--   ...
+-- are all instances of Sized.
+instance Sized b => Sized (a,b) where
+  size = size . snd
+
+instance Monoid Size where
+  mempty  = Size 0
+  mappend = (+)