Removed empty Generic.idr file