Control.Monad.Operational.Higher
data ProgramT instr fs m a
type Program instr fs
class Interp instr m fs
data ProgramViewT instr fs m a
type ProgramView instr fs
type ProgViewT instr m
type ProgView instr
class InterpBi instr m fs
class Reexpressible i instr