Removed un-needed typeclasses related to numbers and counted lists by using constraints and type families to constrain regular closed functions.