Fix id_test and argument order in laws

id_test.js

@@ -1,5 +1,6 @@
 'use strict';
 
+const fl = require('./');
 const applicative = require('./laws/applicative');
 const apply = require('./laws/apply');
 const chain = require('./laws/chain');
@@ -35,7 +36,7 @@ Sum.prototype[equals] = function(x) {
 
 const equality = (x, y) => x[equals] ? x[equals](y) : x === y;
 const test = f => t => {
-  t.ok(f('x'));
+  t.ok(f('x') === true);
   t.done();
 };
 
@@ -79,11 +80,11 @@ exports.foldable = {
 
 exports.functor = {
   identity: test(functor.identity(Id[of])(equality)),
-  composition: test(functor.composition(Id[of])(equality)),
+  composition: test(functor.composition(Id[of])(equality)(a => [a, a])(a => [a])),
 };
 
 exports.monad = {
-  leftIdentity: test(monad.leftIdentity(Id)(equality)),
+  leftIdentity: test(monad.leftIdentity(Id)(equality)(Id[fl.of])),
   rightIdentity: test(monad.rightIdentity(Id)(equality)),
 };
 

laws/functor.js

@@ -17,7 +17,7 @@ const identity = of => eq => x => {
   return eq(a, b);
 };
 
-const composition = of => eq => x => f => g => {
+const composition = of => eq => f => g => x => {
   const a = of(x)[map](x => f(g(x)));
   const b = of(x)[map](g)[map](f);
   return eq(a, b);

laws/monad.js

@@ -11,7 +11,7 @@ const {of, chain} = require('..');
 
 **/
 
-const leftIdentity = t => eq => x => f => {
+const leftIdentity = t => eq => f => x => {
   const a = t[of](x)[chain](f);
   const b = f(x);
   return eq(a, b);