Actually you should be able to pass the `ListK` in...
# arrow
s
Actually you should be able to pass the
ListK
instance for
List
.