Creating MonadCount in Agda