Chas cleichner

## wrapM.hs
wrapM :: Monad m => (a -> b) -> (a -> m b)
wrapM = (return .)
-- same as wrapM f = \x -> return (f x)

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                cleichner
                / keybase.md
            
            
              Last active
              November 26, 2017 06:37
            
          
    Keybase proof

I hereby claim:

I am cleichner on github.
I am chas (https://keybase.io/chas) on keybase.
I have a public key whose fingerprint is EB53 7E69 EAAC 25ED F926  9C92 4C07 A6D8 BE65 FBF6

To claim this, I am signing this object:

  
## HkdZip.hs
-- Copyright 2021 Google LLC.
-- SPDX-License-Identifier: Apache-2.0
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds    #-}
{-# LANGUAGE RankNTypes    #-}
{-# LANGUAGE TypeOperators    #-}
module Main where

import Data.Functor.Identity
import Data.Functor.Product
	wrapM :: Monad m => (a -> b) -> (a -> m b)
	wrapM = (return .)
	-- same as wrapM f = \x -> return (f x)
	-- Copyright 2021 Google LLC.
	-- SPDX-License-Identifier: Apache-2.0
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE TypeOperators #-}
	module Main where

	import Data.Functor.Identity
	import Data.Functor.Product