RFC: smash-categories Project

[emilypi]

This issue is for an additional smash-categories project, defining the following:

• instances for the tensor-hom adjunctions in Hask*
• representable/distributive/* instances from the extended Kmettoverse
• Category definition for both variants of pointed Hask
• Types, definitions, other specs? We will probably need to write newtypes a la

newtype Marrow a b = MArrow 
  { runMarrow :: Maybe a -> Maybe b
  }

newtype EMarrow a b = EMarrow 
  { runEMarrow :: (a, Maybe a -> b) 
  }

see adjunctions, distributive, categories, void

@tetrapharmakon

[emilypi]

I'll create the project structure and you can have at it