Tagged final backpack shennanigans

Base.hs

-- final-bp-base-eval
module Base where

import Data.Functor.Identity

lit :: a -> Identity a
lit = Identity

add :: Num a => Identity a -> Identity a -> Identity a
add x y = (+) <$> x <*> y

Base.hsig

-- final-bp-base-sig
signature Base where

import Repr

lit :: a -> Repr a
add :: Num a => Repr a -> Repr a -> Repr a

Mul.hs

-- final-bp-mul-eval
module Mul where

import Data.Functor.Identity

mul :: Num a => Identity a -> Identity a -> Identity a
mul x y = (*) <$> x <*> y

Mul.hsig

-- final-bp-mul-sig
signature Mul where

import Repr

mul :: Num a => Repr a -> Repr a -> Repr a

Repr.hs

-- final-bp-eval
module Repr where

import Data.Functor.Identity

type Repr = Identity

Repr.hsig

-- final-bp-repr-sig
signature Repr where

data Repr a