deepfire-pusher

{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeOperators #-}

import Data.Typeable
import Data.Kind
import Data.SOP.Constraint
import Generics.SOP

-- Machinery (wish it could be just NP).

deepfire-pusher

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecursiveDo #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -threaded #-}

import Data.Functor ((<&>))
import Control.Monad (join)
import Control.Monad.IO.Class