-- | Is the row a cyclic lead head?
isCyclicLeadHead   :: Row -> Maybe (Length, Int)
isCyclicLeadHead _ = error "Not implemented"
isCyclicLeadHead   :: Row -> Maybe (Length, Int)
isCyclicLeadHead _ = error "Not implemented"
isCyclicLeadHead _ = error "Not implemented"