Swordlash

{-# LANGUAGE OverloadedStrings #-}
module Main where

import Foreign.C.String
import Foreign.Ptr

import Control.Monad (forM_)
import Text.Blaze.Html5 as H
import Text.Blaze.Html5.Attributes as A
import Text.Blaze.Html.Renderer.Pretty

Swordlash

{-# LANGUAGE 
    BangPatterns, 
    GADTs, 
    TypeFamilies, 
    FlexibleInstances, 
    UndecidableInstances, 
    MultiParamTypeClasses, 
    StandaloneDeriving, 
    DeriveFunctor, 
    DerivingVia, 

Swordlash

{-# LANGUAGE  PatternSynonyms
            , GADTs
            , TypeApplications
            , RankNTypes
            , ScopedTypeVariables 
            , ViewPatterns
#-}

-- GADT of possible types
data Type a where