remove partial functions

src/Bifunctor.hs

@@ -10,38 +10,38 @@ import Data.Either (Either(..))
 import Control.Applicative ( Const(..) )
 
 class Bifunctor p where
-    {-# MINIMAL bimap | first, second #-}
+  {-# MINIMAL bimap | first, second #-}
 
-    bimap :: (a -> b) -> (c -> d) -> p a c -> p b d
-    bimap f g = first f . second g
+  bimap :: (a -> b) -> (c -> d) -> p a c -> p b d
+  bimap f g = first f . second g
 
-    first :: (a -> b) -> p a c -> p b c
-    first f = bimap f id
+  first :: (a -> b) -> p a c -> p b c
+  first f = bimap f id
 
-    second :: (b -> c) -> p a b -> p a c
-    second = bimap id
+  second :: (b -> c) -> p a b -> p a c
+  second = bimap id
 
 instance Bifunctor (,) where
-    bimap f g ~(a, b) = (f a, g b)
+  bimap f g ~(a, b) = (f a, g b)
 
 instance Bifunctor ((,,) x1) where
-    bimap f g ~(x1, a, b) = (x1, f a, g b)
+  bimap f g ~(x1, a, b) = (x1, f a, g b)
 
 instance Bifunctor ((,,,) x1 x2) where
-    bimap f g ~(x1, x2, a, b) = (x1, x2, f a, g b)
+  bimap f g ~(x1, x2, a, b) = (x1, x2, f a, g b)
 
 instance Bifunctor ((,,,,) x1 x2 x3) where
-    bimap f g ~(x1, x2, x3, a, b) = (x1, x2, x3, f a, g b)
+  bimap f g ~(x1, x2, x3, a, b) = (x1, x2, x3, f a, g b)
 
 instance Bifunctor ((,,,,,) x1 x2 x3 x4) where
-    bimap f g ~(x1, x2, x3, x4, a, b) = (x1, x2, x3, x4, f a, g b)
+  bimap f g ~(x1, x2, x3, x4, a, b) = (x1, x2, x3, x4, f a, g b)
 
 instance Bifunctor ((,,,,,,) x1 x2 x3 x4 x5) where
-    bimap f g ~(x1, x2, x3, x4, x5, a, b) = (x1, x2, x3, x4, x5, f a, g b)
+  bimap f g ~(x1, x2, x3, x4, x5, a, b) = (x1, x2, x3, x4, x5, f a, g b)
 
 instance Bifunctor Either where
-    bimap f _ (Left a) = Left (f a)
-    bimap _ g (Right b) = Right (g b)
+  bimap f _ (Left a) = Left (f a)
+  bimap _ g (Right b) = Right (g b)
 
 instance Bifunctor Const where
-    bimap f _ (Const a) = Const (f a)
+  bimap f _ (Const a) = Const (f a)

src/Protolude.hs

@@ -51,8 +51,6 @@ import Safe as X (
   , tailSafe
   , lastDef
   , lastMay
-  , lookupJust
-  , findJust
   , foldr1May
   , foldl1May
   , atMay