some finite group stuff in idris