BasicProperties.lidr 611 Bytes