module Data.Functor.Const where

data Const a b = Const {getConst :: a}