Type class design pattern alternatives