liquidhaskell-0.8.10.7: typeclass-tests/Data/Functor/Const.hs

module Data.Functor.Const where

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