liamoc

{-# LANGUAGE GADTs, DataKinds, KindSignatures, FlexibleInstances, ScopedTypeVariables #-}

import Test.QuickCheck
import Test.QuickCheck.Gen
import Control.Applicative
import Data.List

-- Peano naturals (used on value and type level)
data Nat = Zero | Suc Nat 

liamoc

data Eq a = Eq {
   eq :: a -> a -> Bool,
   neq  :: a -> a -> Bool
}

(==) :: (?eq :: Eq a) => a -> a -> Bool
(==) = eq ?eq

(/=) :: (?eq :: Eq a) => a -> a -> Bool
(/=) = neq ?eq

liamoc

 import Control.Applicative
 import Data.List
 import qualified Data.Map as M
 import Control.Arrow ((&&&), (***))
 import Data.Char(isAlpha, toLower)

 unscramble = curry $ fmap unwords 
                    . uncurry mapM 
                    . (   ( ( fmap head .) 
                          . flip M.lookup 

liamoc

#include <stdio.h>

/* BEGIN HACKERY */

typedef struct field {
    enum {
      TABLE_NAME,
      TABLE_FIELD,
      TABLE_TERMINATOR
    } tag;