Test.SmallCheck.Laws.Functor