module Components.Util where fst3 :: (a,b,c) -> a fst3 :: (a, b, c) -> a fst3 (val :: a val,_,_) = a val snd3 :: (a,b,c) -> b snd3 :: (a, b, c) -> b snd3 (_,val :: b val,_) = b val thd3 :: (a,b,c) -> c thd3 :: (a, b, c) -> c thd3 (_,_,val :: c val) = c val fst4 :: (a,b,c,d) -> a fst4 :: (a, b, c, d) -> a fst4 (val :: a val,_,_,_) = a val thd4 :: (a,b,c,d) -> c thd4 :: (a, b, c, d) -> c thd4 (_,_,val :: c val,_) = c val fth4 :: (a,b,c,d) -> d fth4 :: (a, b, c, d) -> d fth4 (_,_,_,val :: d val) = d val