# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1409478062 -32400
# Node ID a5210ec1e41be61626c7265b71945947e4e6f237
# Parent  878d1e271709c3099f104da85be1f988107f6f30
Reduce definition

diff -r 878d1e271709 -r a5210ec1e41b similer.hs
--- a/similer.hs	Sun Aug 31 18:35:10 2014 +0900
+++ b/similer.hs	Sun Aug 31 18:41:02 2014 +0900
@@ -1,12 +1,12 @@
 {-# LANGUAGE FlexibleContexts #-}
-data Similer a f b = Similer a (a -> b) b
+data Similer a b = Similer a (a -> b) b
 
-instance Functor (Similer a f) where
+instance Functor (Similer a) where
   fmap g (Similer a f b) = Similer a (g . f) $ g b
 
-eta :: a -> Similer a (a -> a) a
+eta :: a -> Similer a a
 eta a = Similer a id a
 
 --mu :: (Eq (Similer b (b -> c) c)) => Similer a (a -> (Similer b (b -> c) c)) (Similer b (b -> c) c) -> Similer b (b -> c) c
-mu :: (Eq (Similer b (b -> c) c)) => Similer a (a -> (Similer b (b -> c) c)) (Similer b (b -> c) c) -> Similer b (b -> c) c
+mu :: (Eq (Similer b c)) => Similer a (Similer b c) -> Similer b c
 mu (Similer a f b) = if ((f a) == b) then b else undefined