Just added some garbage
ooooohhhhhh yeaaaaaaaaaaa
Made a simple value-level implementation. Still need to write the instances for Foldable, and ListLike (probably way more. Monoid... MonadList or something... who knows :P